掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Florida Artificial Intelligence Research Society Conference
International Florida Artificial Intelligence Research Society Conference
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A qualitative notion of spatial proximity
机译:
空间邻近的定性概念
作者:
Hans W. Guesgen
;
Jochen Albrecht
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
2.
Function modeling based on interactions of mass, energy and information
机译:
基于质量,能源和信息相互作用的功能建模
作者:
Yang Bo
;
Filippo A. Salustri
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
3.
A weighted instance-based algorithm for situated autonomous robot learning
机译:
基于加权实例的位于自主机器人学习算法
作者:
Carlos H. C. Ribeiro
;
Elder M. Hemerly
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
4.
Satisfiability in nonlinear time: algorithms and complexity
机译:
非线性时间的可靠性:算法和复杂性
作者:
Frank D. Anger
;
Debasis Mitra
;
Rita V. Rodriguez
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
关键词:
Temporal reasoning;
Constraint satisfaction;
Non-linear time;
Complexity;
5.
Group membership services for dynamically organized sensible agent-based systems
机译:
基于动态组织的合理代理系统的组成员服务
作者:
K. S. Barber
;
R. M. McKay
;
T. H. Liu
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
6.
Adopting an object-oriented data model in inductive logic programming
机译:
采用归纳逻辑编程中面向对象的数据模型
作者:
M. Milano
;
A. Omicini
;
F. Riguzzi
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
7.
An agent based approach to expert system explanation
机译:
基于代理的专家系统解释方法
作者:
Samhaa R. El-Beltagy
;
Ahmed Rafea
;
Ahmed Sameh
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
8.
A curriculum planning model for an intelligent tutoring system
机译:
智能辅导系统的课程规划模型
作者:
Byung-In Cho
;
Joel A. Michael
;
Allen A. Rovick
;
Martha W. Evens
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
9.
Case-based problem solving for knowledge management systems
机译:
基于案例的知识管理系统解决问题
作者:
Irma Becerra-Fernadez
;
David W. Aha
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
10.
Experiments in on-line learning neuro-control
机译:
在线学习神经控制的实验
作者:
A. G. Pipe
;
M. Randall
;
Y. Jin
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
11.
Solving hard computational problem through collections (portfolios) of cooperative heterogeneous algorithms
机译:
通过合作异构算法的集合(投资组合)解决硬计算问题
作者:
Eugene Santos Jr.
;
Solomon Eyal Shimony
;
Edward Michael Willimas
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
12.
Validation of CBL principles
机译:
验证CBL原则
作者:
Hans-Rainer Beick
;
Klaus P. Jantke
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
13.
Enhanced simulated annealing techniques for multiprocessor scheduling
机译:
用于多处理器调度的增强模拟退火技术
作者:
G.E. Nasr
;
A. Harb
;
G. Meghabghab
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
14.
Towards more intelligent and interactive interfaces
机译:
走向更智能和交互式的接口
作者:
James S. Jennings
;
Nicole D. Terry
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
15.
A treat ranking algorithm for multiple intelligent entities in a simulated environment
机译:
一种在模拟环境中为多个智能实体的处理排名算法
作者:
IIker Gumus
;
Avelino
;
J. Gonzalez
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
16.
Neural network predictive tool of ground settlement Due to dewatering activities
机译:
脱水活动导致地面沉降的神经网络预测工具
作者:
Amr W. Sadek
;
Hesham Ghoneim
;
Mustafa Mossad
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
17.
KARDIO - a simulation of cardiac care unit intended for the study of the ethical components of medical decision-marking
机译:
Kardio - 一种用于研究医学决策标记的道德组分的心脏护理单元的模拟
作者:
Soren Holm
;
Peter Ohrstrom
;
Claus Donner
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
18.
Automatic acquisition of sense tagged corpora
机译:
自动获取感知标记的Corpora
作者:
Rada Mihalcea
;
Dan I. Moldovan
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
19.
Universal access to mobile computing devices through speech input
机译:
通用通过语音输入访问移动计算设备
作者:
Bill Manaris
;
Valanne MacGyvers
;
Michail Lagoudakis
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
20.
Generalization discovery for proofs by induction in conditional theories
机译:
有条件理论诱导的概括发现
作者:
Kounalis Emmanuel
;
Urso Pascal
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
21.
A reinforcement learning approach for a goal-reaching behavior
机译:
一种目标达到行为的加强学习方法
作者:
T. DOrazio
;
G. Cicirelli
;
G. Attolico
;
C. Distante
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
22.
VERITAS - a verification tool for real-time applications in power system control centers
机译:
Veritas - 用于电力系统控制中心的实时应用的验证工具
作者:
Jorge Santos
;
Luiz Faria
;
Carlos Ramos
;
Zita A. Vale
;
Albino Marques
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
23.
A case-based reasoning approach to internet tutoring systems (ITS) and ITS authoring
机译:
互联网辅导系统(ITS)及其创作的基于案例的推理方法
作者:
Richard Stottler
;
Sowmya Ramachandran
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
24.
Applying reliability engineering to expert systems
机译:
将可靠性工程应用于专家系统
作者:
Valerie Barr
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
25.
Proof theoretic reasoning in system P
机译:
证明系统P中的理论推理
作者:
Simon Parsons
;
Rachel A. Bourne
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
26.
Adaptive parallel search for theorem proving
机译:
自适应并行搜索定理证明
作者:
Diane J. Cook
;
Charles Hannon
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
27.
Towards validation of case-based systems
机译:
朝着基于案例的系统验证
作者:
Rainer Knauf
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
28.
Smart selective competition parallelism ATP
机译:
智能选择性竞争并行性ATP
作者:
Geoff Sutcliffe
;
Darryl Seyfang
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
29.
Knowledge-based control of self-adaptive evolutionary search
机译:
基于知识的自适应进化搜索控制
作者:
Chan-Jin Chung
;
Robert G. Reynolds
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
30.
Connection admission control in ATM networks using neural networks: research directions and issues in commercial exploitation
机译:
ATM网络中的连接录取控制使用神经网络:商业剥削中的研究方向和问题
作者:
Paul Cullen
;
Brian Carse
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
31.
Distributed space-segment control using SCL
机译:
使用SCL分布式空间段控制
作者:
Jim Van Gassbeck
;
Allan Posner
;
Brian Buckley
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
32.
Multi-agent robot simulation for evolutionary learning of cooperative behavior
机译:
用于协同行为的进化学习的多智能经纪机器人仿真
作者:
Yoichiro Meada
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
33.
CH-prolog: a proof procedure for positive disjunctive logic programming
机译:
Ch-Prolog:正析出逻辑编程的证明程序
作者:
Wenji Lu
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
关键词:
Disjunctive logic programming;
SLD-resolution;
Proof procedure;
34.
Expert System for the handling of the attendance mechanical ventilation in recently born
机译:
处理最近出生的出勤机械通风的专家系统
作者:
Mauricio F. Deabate
;
Luis Manzanares
;
Carlos
;
A. Barto
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
35.
Some practical issues in modeling diagnostic systems with multiply sectioned Bayesian networks
机译:
兼容兼容贝叶斯网络诊断系统的一些实际问题
作者:
Y. Xiang
;
K. G. Olesen
;
F. V. Jensen
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
36.
Improving technical analysis predictions: an application of genetic programming
机译:
改善技术分析预测:遗传编程的应用
作者:
Jin Li
;
Edward P. K. Tsang
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
37.
Applying the subdue substructure discovery system to the chemical toxicity domain
机译:
将低音结构发现系统应用于化学毒性结构域
作者:
Ravindra N. Chittimoori
;
Lawrence B. Holder
;
Diane J. Cook
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
38.
Meta-pattern extraction: mining cycles
机译:
元模式提取:采矿循环
作者:
Jennifer Seitzer
;
James P. Buckley
;
Alvaro Monge
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
39.
Adding intelligence to net-based learning
机译:
向基于网络的学习添加智能
作者:
Lynne Hall
;
Adrian Gordon
;
Paul Black
;
Gary Baptist
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
40.
What should the tutor do when the student cannot answer a question?
机译:
当学生无法回答问题时,导师应该怎么办?
作者:
Yujian Zhou
;
Reva Freedman
;
Michael Glass
;
Joel A. Michael
;
Allen A. Rovick
;
Martha W. Evens
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
41.
Validation of human behavioral models
机译:
验证人类行为模型
作者:
Avelino J. Gonzalez
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
42.
Autonomy in spacecraft software architecture
机译:
航天器软件架构中的自主权
作者:
Henry Hexmoor
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
43.
An overview of agent technology for satellite autonomy
机译:
卫星自治的代理技术概述
作者:
Paul Zetocha
;
Lance Self
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
44.
Lattices of knowledge in intelligent systems validation
机译:
智能系统验证中的知识格子
作者:
Klaus P. Jantke
;
Jorg Herrmann
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
45.
Dynamic user model construction with Bayesian networks for intelligent information queries
机译:
贝叶斯网络智能信息查询的动态用户模型构建
作者:
Eugene Satos Jr.
;
Scott M. Brown
;
Moises Lejter
;
Grace Ngai
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
46.
Preparing a first-order knowledge base for fast inference
机译:
为快速推理准备一阶知识库
作者:
Helmut Prendinger
;
Mitsuru Ishizuka
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
47.
Non-determinism and uncertainty in the situation calculus
机译:
非确定性和不确定性在微积分中
作者:
Javier Pinto
;
Amilcar Sernadas
;
Cristina Sernadas
;
Paulo Mateus
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
48.
Learning rationales to improve plan quality for partial order planners
机译:
学习理由提高部分秩序规划者的计划质量
作者:
Muhammad Afzal Upal
;
Renee Elio
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
49.
Functional modeling: representation of dynamic aspects in function structures
机译:
功能建模:功能结构中动态方面的表示
作者:
H. C. H. Grabowski
;
Ralf Lossack
;
Harald Kunze
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
50.
Validation of an elevator maintenance engineer scheduling AI system and its knowledge refinement
机译:
验证电梯维护工程师调度AI系统及其知识改进
作者:
Setsuo Tsuruta
;
Hideaki Ishida
;
Masaki Honma
;
Akio Nakano
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
51.
A connectionist model for part of speech tagging
机译:
一部分语音标记的连接主义模型
作者:
Brent A. Olde
;
James Hoeffner
;
Patrick Chipman
;
Arthur C. Graesser
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
52.
Knowledge object decomposition
机译:
知识对象分解
作者:
John Debenham
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
53.
Anytime planning for optimal tradeoff between deliberative and reactive planning
机译:
在审议和反应规划之间的最佳权衡的任何时候计划
作者:
Will Briggs
;
Diane Cook
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
54.
A quality assurance system using neural networks
机译:
利用神经网络的质量保证体系
作者:
Edson Pacheco Paladini
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
55.
Using term space maps to capture search control knowledge in equational theorem proving
机译:
使用术语空间贴图来捕获公式定理中的搜索控制知识
作者:
Stephan Schulz
;
Felix Brandt
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
56.
Searchable answer generating environment (SAGE): a knowledge management system for searching for experts in Florida
机译:
可搜索的答案生成环境(SAGE):用于在佛罗里达州寻找专家的知识管理系统
作者:
Irma Becerra-Fernandez
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
57.
A neural network approach to sensitivity analysis of a VIRIS spectral bands
机译:
viris光谱频带敏感性分析的神经网络方法
作者:
James N. Etheredge
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
58.
Robustness of case-initialized genetic algorithms
机译:
案例初始化遗传算法的鲁棒性
作者:
Sushil J. Louis
;
Judy Johnson
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
59.
Generating satellite control schedules using case-based scheduling
机译:
使用基于案例的调度生成卫星控制计划
作者:
Costas Tsatsoulis
;
Julian Holtzman
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
60.
Towards a first-order approach for social agents: preliminary report
机译:
走向社会代理的一级方法:初步报告
作者:
Maria Fasli
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
61.
Strategy selection by genetic programming
机译:
遗传编程的战略选择
作者:
Gernot Stenz
;
Andreas Wolf
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
62.
Improved multiprocessor task scheduling using genetic algorithms
机译:
使用遗传算法改进多处理器任务调度
作者:
Michael Bohler
;
Frank Moore
;
Yi Pan
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
63.
DISPO: distributed multi-threaded execution of prolog programs
机译:
DISPO:分布式多线程执行Prolog程序
作者:
A. S. Mohamed
;
A. Galal
;
I. Khalil
;
K. Sobh
;
M. Selim
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
64.
Strategy parallelism and lemma evaluation
机译:
战略行性和引理雷玛评估
作者:
Joachim Draeger
;
Andreas Wolf
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
65.
Cooperative relational database querying using multiple knowledge bases
机译:
协同关系数据库使用多个知识库查询
作者:
Jose Luis Braga
;
Alberto H. F. Laender
;
Claudiney Vander Ramos
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
66.
Identifying and handling structural incompleteness for validation of probabilistic knowledge-bases
机译:
识别和处理结构不完整,以验证概率知识库
作者:
Eugene Santos Jr.
;
Sheila B. Banks
;
Scott M. Brown
;
David J. Bawcom
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
67.
Multi-agent systems: a theory based on organization and communication concepts
机译:
多种代理系统:基于组织和通信概念的理论
作者:
Walid Chainbi
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
68.
Approximate natural language understanding for an intelligent tutor
机译:
对智能导师的近似自然语言理解
作者:
Peter Wiemer-Hastings
;
Katja Wiemer-Hastings
;
Arthur C. Graesser
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
69.
Towards functional benchmarking of information retrieval models
机译:
对信息检索模型的功能基准
作者:
D. W. Song
;
K. F. Wong
;
P. D. Bruza
;
C. H. Cheng
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
70.
Anytime diagnosis using model-based methods for satellite diagnostics
机译:
使用基于模型的卫星诊断方法的诊断
作者:
Paul Cobb
;
Eric S. Yager
;
Charles Jacobus
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
71.
Integrating symbolic and statistical methods for prepositional phrase attachment
机译:
对介词短语附件集成符号和统计方法
作者:
Sanda M. Harabagiu
;
Marius Pasca
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
72.
Probabilistic reasoning through genetic algorithms and reinforcement learning
机译:
遗传学推理通过遗传算法和强化学习
作者:
Xiaomin Zhong
;
Eugene Santos Jr.
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
73.
Applying probabilistic neural networks to the multifont recognition problem with large training set
机译:
将概率神经网络应用于大型训练集的多端识别问题
作者:
Marcin Paprzycki
;
Sean Bowers
;
Aaron Costeines
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
74.
Intelligent alarm handling
机译:
智能报警处理
作者:
Lars Asker
;
Mats Danielson
;
Love Ekenberg
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
75.
Feature selection for machine learning: comparing a correlation-based filter approach to the wrapper
机译:
机器学习功能选择:将基于相关的滤波器方法与包装器进行比较
作者:
Mark A. Hall
;
Lloyd A. Smith
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
76.
New logics for intelligent control
机译:
智能控制的新逻辑
作者:
E. Cherkashin
;
A. Postoenko
;
S. Vassilyev
;
A. Zherlov
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
关键词:
Automatic theorem proving;
Descriptive and constructive logics;
Intelligent control;
77.
Validation manager a tool for AI systems' evaluation by a Turing test-like methodology
机译:
验证Manager Ai Systems的工具通过图灵测试方法进行评估
作者:
Dirk Salecker
;
Rainer Knauf
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
78.
A factorized representation of independence of causal influence and lazy propagation
机译:
因果影响和懒惰传播的独立性分解表示
作者:
Anders L. Madsen
;
Bruce DAmbrosio
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
79.
A wayfinding application based on the influence area spatial model
机译:
一种基于影响区空间模型的路径文件应用
作者:
Driss Kettani
;
Bernard Moulin
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
80.
RAID: a system to aid in the removal of program bugs
机译:
RAID:一个帮助删除程序漏洞的系统
作者:
Lisa Burnell
;
Alan Meadows
;
Patricia Bass
;
Keith Biggers
;
John Priest
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
81.
On correcting sewer robot's odometry errors by reasoning
机译:
通过推理纠正下水道机器人的内径误差
作者:
Joachim Hertzberg
;
Frank Schonherr
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
82.
Knowledge-based systems, viewpoints and the world wide web
机译:
基于知识的系统,观点和万维网
作者:
I. Finch
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
83.
Representation and reasoning with uncertain temporal relations
机译:
不确定时间关系的代表和推理
作者:
Valdimir Ryabov
;
Seppo Puuronen
;
Vagan Terziyan
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
84.
On-board diagnosis of car catalytic converters using statistical pattern recognition
机译:
使用统计模式识别车载诊断汽车催化转换器
作者:
A. Boatas
;
B. Dubuission
;
M. A. Dillies-Peltier
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
85.
Ranking the interesting of summaries from data mining systems
机译:
从数据挖掘系统中排名摘要
作者:
Robert J. Hilderman
;
Howard J. Hamilton
;
Brock Barber
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
86.
Laying a foundation for software engineering of knowledge bases in spacecraft ground systems
机译:
铺设了宇宙飞船地面系统中知识库的软件工程基础
作者:
Mala Mehrota
;
Sergio Alvarado
;
Ross Wainwright
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
87.
A method of automatic training sequence generation for recursive neural networks in the area of sensing directional motion
机译:
感应定向运动区域递归神经网络自动训练序列生成方法
作者:
Dudley Griard
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
88.
Reasoning about algebraic answers in physics
机译:
关于物理学中的代数答案的推理
作者:
C. W. Liew
;
Joel A. Shapiro
;
D. E. Smith
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
89.
Learning the past tense of English verbs: an extension the FOIDL
机译:
学习过去时态的英语动词:延伸foidl
作者:
Ahmed Sameh
;
Tarek Radi
;
Rana Mikhail
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
90.
Representing simple trajectories as oriented curves
机译:
以面向曲线代表简单的轨迹
作者:
Carola Eschenbach
;
Christopher Habel
;
Lars Kulik
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
91.
A framework for learning visual discrimination
机译:
学习视觉歧视的框架
作者:
Justus H. Piater
;
Roderic A. Grupen
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
92.
Using genetic programming to determine software quality
机译:
使用基因编程来确定软件质量
作者:
Matthew Evett
;
Taghi Khoshgoftaar
;
Pei-der Chien
;
Ed Allen
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
93.
Learning opposite concept for machine planning
机译:
学习机器规划的相反概念
作者:
Kang Soo Tae
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
94.
Automating mechanical FMEA using function models
机译:
使用功能模型自动化机械FMEA
作者:
Nigel Hughes
;
Enxi Chou
;
Chris Price
;
Mark Lee
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
95.
On feature selection: a new filter model
机译:
在功能选择上:新的过滤器模型
作者:
Marc Sebban
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
1999年
96.
The Emergence of Complex Hierarchical Hub Social Network in the Mesa Verde Village Simulation Using Cultural Learning
机译:
MESA VERDE村模拟中复杂分层集线器社交网络的出现,使用文化学习
作者:
Ziad Kobti
;
Robert G. Reynolds
;
Timothy A. Kohler
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
2005年
97.
Hiding Absence of Solution for a Distributed Constraint Satisfaction Problem
机译:
隐藏分布式约束满足问题的解决方案
作者:
Marius-Calin Silaghi
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
2005年
98.
A Measure of Relatedness for Selecting Consolidated Task Knowledge
机译:
选择合并任务知识的相关性衡量标准
作者:
Daniel L. Silver
;
Richard Alisch
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
2005年
99.
Combining Categorization-based and Corpus-based Approaches for CLIR
机译:
基于分类的基于语料库的CLIR方法
作者:
Yiming Yang
;
Monica Rogati
;
Bryan Kisiel
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
2005年
100.
Analysis of an Off-Line Intrusion Detection System: A Case Study in Multi-Objective Genetic Algorithms
机译:
离线入侵检测系统分析 - 以多目标遗传算法为例
作者:
Pedro A. Diaz-Gomez
;
Dean F. Hougen
会议名称:
《International Florida Artificial Intelligence Research Society Conference》
|
2005年
意见反馈
回到顶部
回到首页