掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA
International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
计算机学报
控制理论与应用
软件(教育现代化)(电子版)
条码与信息系统
轻松学电脑
计算机工程与设计
计算机科学与探索
微型计算机
软件
福建电脑
更多>>
相关外文期刊
Information Technologies and International Development
Australian computer journal
Net
Scientific Computing World
Computer supported cooperative work
Sensors
SIGCSE bulletin
ACM Journal of Computer Documentation
Journal of the Association for Information Systems
Evolutionary Intelligence
更多>>
相关中文会议
2011年全国数字媒体技术专业建设与人才培养研讨会
中国自动化学会西南地区自动化学会2002年年会
中国电子学会第十届青年学术年会
第六届中国系统建模与仿真技术高层论坛
2011全国开放式分布与并行计算学术年会
第十六届全国测试与故障诊断技术研讨会
中国实验动物学会第六届学术年会
全国抗恶劣环境计算机第十九届学术年会
中国系统工程学会决策科学专业委员会第四届年会
2009年中国智能自动化会议
更多>>
相关外文会议
2017 Internet Technologies and Applications
Proceedings of the 2009 ICSE Workshop on Traceability in Emerging Forms of Software Engineering
Modeling and simulation for defense systems and applications VII.
Applications of Artificial Neural Networks V
2016 Conference on Emerging Devices and Smart Systems
Software quality management VI : Quality improvement issues
4th International Conference on Networking and Advanced Systems
International Conference on Intelligent User Interfaces; 20060129-0201; Sydney(AU)
Microwave Photonics, 1997. MWP '97
WISE 2007 International Workshops on Web Information Systemsn Engineering; 20071203; Nancy(FR)
更多>>
热门会议
Meeting of the internet engineering task force;IETF
日本建築学会;日本建築学会大会
日本建築学会(Architectural Institute of Japan);日本建築学会年度大会
日本建築学会学術講演会;日本建築学会
日本建築学会2010年度大会(北陸)
Korean Society of Noise & Vibration Control;Institute of Noise Control Engineering;International congress and exposition on noise control engineering;ASME Noise Control & Acoustics Division
土木学会;土木学会全国大会年次学術講演会
応用物理学会秋季学術講演会;応用物理学会
総合大会;電子情報通信学会
The 4th International Conference on Wireless Communications, Networking and Mobile Computing(第四届IEEE无线通信、网络技术及移动计算国际会议)论文集
更多>>
最新会议
2011 IEEE Cool Chips XIV
International workshop on Java technologies for real-time and embedded systems
Supercomputing '88. [Vol.1]. Proceedings.
RILEM Proceedings PRO 40; International RILEM Conference on the Use of Recycled Materials in Buildings and Structures vol.1; 20041108-11; Barcelona(ES)
International Workshop on Hybrid Metaheuristics(HM 2007); 20071008-09; Dortmund(DE)
The 57th ARFTG(Automatic RF Techniques Group) Conference, May 25, 2001, Phoenix, AZ
Real Time Systems Symposium, 1989., Proceedings.
Conference on Chemical and Biological Sensing V; 20040412-20040413; Orlando,FL; US
American Filtration and Separations Society conference
Combined structures congress;North American steel construction conference;NASCC
更多>>
全选(
0
)
清除
导出
1.
Formula-Preferential Systems for Paraconsistent Non-Monotonic Reasoning
机译:
超一致非单调推理的公式优先系统
作者:
Arnon Avron
;
Iddo Lev
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
2.
On Some Aspects of Decidability of Annotated Systems
机译:
关于带注释系统的可判定性的某些方面
作者:
Jair Minoro Abe
;
Seiki Akama
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
annotated logics;
paraconsistent logics;
decidability;
3.
Using Intelligent Agents in Conjunction with B2B Interoperability
机译:
与B2B互操作性结合使用智能代理
作者:
M. Brian Blake
;
Todd Cornett
;
Tepring Piquado
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
4.
Semantics for Default Reasoning
机译:
默认推理的语义
作者:
Marcelino Pequeno
;
Ana Teresa Martins
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
nonmonotonic reasoning;
default logic;
paraconsistent logic;
semantics;
5.
Scientific Reasoning and Belief Structure
机译:
科学推理与信念结构
作者:
Y. Nakayama
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
scientific reasoning;
belief structure;
theory change;
belief revision;
progressive strategy;
scientific revolution;
6.
Political Incoherence: an application of κ-uncolourable hypergraphs to the theory of democracy
机译:
政治不连贯:κ不变色超图在民主理论中的应用
作者:
T. Nicholson
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
paraconsistent logic;
democracy;
κ-uncolourable hypergraph;
transversal hypergraph;
7.
Problems of Optimization
机译:
优化问题
作者:
William G. Macready
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
optimization foundations;
connections;
applications;
8.
Resolving Contentions Between Initial and Learned Knowledge
机译:
解决初始知识与学习知识之间的争论
作者:
Robert E. Wray
;
III
;
Randolph M. Jones
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
integration of planning;
learning and execution;
knowledge compilation;
EBL;
9.
Resource-Bounded Reasoning and Paraconsistency
机译:
资源有限的推理和超一致性
作者:
M. Allen
;
R. E. Jennings
会议名称:
《》
|
2001年
关键词:
inconsistency;
paraconsistent logic;
preservationist logic;
resource-bounded reasoning;
databases;
10.
Paraconsistency, Implication, and Truth
机译:
超一致性,含意和真理
作者:
D. Sarenac
;
R.E. Jennings
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
implication;
property preservation;
finite matrices;
paraconsistency;
11.
Paraconsistent Reasoning Based on Strong Relevant Logic
机译:
基于强相关逻辑的超一致性推理
作者:
Jingde Cheng
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
validity of reasoning;
conditional;
paraconsistent formal theory;
relevant logic;
strong relevance;
12.
AdaptAgent: Integrated Architecture for Adaptive Workflow and Agents
机译:
AdaptAgent:自适应工作流和代理的集成架构
作者:
N.C. Narendra
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
agents;
adaptive workflow;
agent-oriented workflow;
agent-oriented architectures for B2B;
13.
Optimal Selection of Different Order N-Grams
机译:
不同阶数N克的最佳选择
作者:
Gongjun Li
;
Na Dong
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
14.
Multi-Processor Scheduling Problems in Planning
机译:
规划中的多处理器调度问题
作者:
Derek Long
;
Maria Fox
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
planning;
multi-processor scheduling;
automatic domain analysis;
15.
Negation as Finite Failure is Paraconsistent
机译:
否定,因为有限的失败是一贯的
作者:
P. Mascellani
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
non-classical logic;
logic programming;
many-valued logic;
deductive databases;
16.
Non-Truth-Functional Fibred Semantics
机译:
非真功能纤维语义
作者:
Carlos Caleiro
;
Joao Marcos
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
fibring;
non-truth-functional semantics;
paraconsistency;
first-order;
17.
A Comparative Study of Inductive Learning Algorithms
机译:
归纳学习算法的比较研究
作者:
M. Arif Wani
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
rule induction;
machine learning;
pattern classification;
18.
IMPROVEMENTS IN THE DECISION MAKING IN SOFTWARE PROJECTS: APLICATION OF DATA MINING TECHNIQUES
机译:
软件项目决策中的改进:数据挖掘技术的应用
作者:
I. Ramos Roman
;
J. Riquelme Santos
;
J. Aroba Paez
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
simulation;
projects estimation;
fuzzy logic;
machine learning;
19.
Load Balancing on Multicast Trees Using a Genetic Algorithm
机译:
遗传算法在组播树上的负载均衡
作者:
L.Tran thi Ngoc
;
K. Steenhaut
;
A.Nowe
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
genetic algorithm;
multicasting;
load balancing;
20.
LP, FDE and Ambiguity
机译:
LP,FDE和歧义
作者:
Bryson Brown
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
ambiguity;
assertion;
consistency;
denial;
entailment;
paraconsistency;
21.
Making Inferences on Tangled Hierarchies: A Paraconsistent Approach
机译:
在纠结的层次结构上进行推论:一种超一致的方法
作者:
Braulio Coelho Avila
;
Fernanda Hembecker
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
frame systems;
multiple inheritance;
exceptions;
inconsistency;
paraconsistent inheritance reasoner;
22.
FACE DETECTION IN TEMPLATE MATCHING CONSTRAINED SUBSPACE
机译:
模板匹配约束子空间中的人脸检测
作者:
Haizhou Ai
;
Luhong Liang
;
Guangyou Xu
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
face detection;
template matching;
neural network;
support vector machines;
subspace;
23.
Extracting Landmarks and Ordering them for Planning
机译:
提取地标并将其排序以进行规划
作者:
Julie Porteous
;
Laura Sebastia
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
planning;
goal ordering;
24.
Evolutionary Dynamics of Labor Contracting in a Macroeconomy: A Simulation Study
机译:
宏观经济中劳动合同的演化动力学:模拟研究
作者:
Peter J. Morton
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
macroeconomics;
profit-sharing;
risk-aversion;
wage setting;
25.
Evolutionary Hill-Climbing, Virtual Constraints and the Recurrent Dynamic N-Queens Problem
机译:
进化爬山,虚拟约束和循环动态N-Queens问题
作者:
Gerry Dozier
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
evolutionary hill-climbing;
constraint satisfaction problem;
recurrent dynamic CSP;
virtual constraints;
26.
Evolutionary Strategy for Learning Multiple-Valued Logic Functions
机译:
学习多值逻辑函数的进化策略
作者:
Alioune Ngom
;
Dan A. Simovici
;
Ivan Stojmenovic
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
multiple-valued logic;
multiple-threshold perceptron;
evolution strategy;
neural network;
partitioning method;
constructive algorithm;
27.
Generalization v. (Induction v. Abduction)
机译:
概括c。 (诱导。绑架)
作者:
Eric GREGOIRE
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
28.
Genetic Algorithms: Conceptual Challenges
机译:
遗传算法:概念挑战
作者:
Michael D. Vose
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
building block hypotheses;
coarse graining;
form invariance;
implicit parallelism;
optimal search strategy;
schemata;
walsh coefficients;
29.
Crowding Factor in Evolutionary Multi-Agent System for Multiobjective Optimization
机译:
多目标优化的进化多Agent系统中的拥挤因子
作者:
Marek Kisiel-Dorohinicki
;
Krzysztof Socha
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
multiobjective optimization;
evolutionary computation;
multi-agent systems;
crowding factor;
30.
Building a Linguistic Model for Conceptual Data Model Quality
机译:
建立用于概念数据模型质量的语言模型
作者:
Luis Jimenez Linares
;
Marcela Genero
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
linguistic model;
fuzzy system;
conceptual data model quality;
induction method;
31.
Computer Technologies That Support Kansei Expression Using Body
机译:
支持使用人体进行感性表达的计算机技术
作者:
Ryohei Nakatsu
;
Makoto Tadenuma
;
Tadao Maekawa
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
32.
Using Paraconsistent Logic in a Multi-Agent System
机译:
在多代理系统中使用超一致性逻辑
作者:
Elaini S. Angelotti
;
Edson E. Scalabrin
;
Braulio C. Avila
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
artificial intelligence;
autonomous agent;
paraconsistent logic;
task distribution;
33.
Supporting Dynamic Change in B2B Coordination
机译:
支持B2B协调中的动态变化
作者:
Mark G. Matthews
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
B2B coordination;
dynamic architecture;
dynamic change;
adaptive workflow;
34.
Learning Qualitative Strategies
机译:
学习定性策略
作者:
Dorian Suc
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
machine learning;
learning control knowledge;
qualitative modelling;
skill reconstruction;
35.
Knowledge Engineering for model designing of a software architecture for therapy advising
机译:
知识工程,用于模型设计的软件架构,用于治疗建议
作者:
M. Lama
;
S. Barro
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
knowledge and design modelling;
commonKADS methodology;
blackboard architectures;
36.
KNOWLEDGE ENGINEERING IN SOFTWARE ENGINEERING (Guest Technical Session Chairs Introduction)
机译:
软件工程中的知识工程(嘉宾技术会议主席简介)
作者:
Jose Angel OLIVAS
;
Mario PIATTINI
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
knowledge engineering;
software engineering;
KDD and data mining;
37.
ARTIFICIAL INTELLIGENCE TOOLS FOR APPLYING FAILURE MODE AND EFFECTS ANALYSIS (FMEA)
机译:
适用于故障模式和影响分析(FMEA)的人工智能工具
作者:
Javier Puente Garcia
;
David de la Fuente Garcia
;
Paolo Priore Moreno
;
Raul Pino Diez
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
failure mode and effects analysis (FMEA);
fuzzy decision support systems;
neural networks;
case based reasoning;
38.
Symbiosis Between Solutions and Operators
机译:
解决方案与操作员之间的共生
作者:
M. Nerome
;
S. Endo
;
K. Yamada
;
H. Miyagi
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
co-evolutionary algorithm;
symbiosis;
genetic algorithm;
optimization;
39.
Tracking Head Pose In Unconstrained Environment
机译:
在不受限制的环境中跟踪头部姿势
作者:
Ming Xu
;
Hasegawa Osamu
;
Katsuhiko Sakaue
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
head pose estimation;
head tracking;
color model update;
self-organizing map;
view verification;
40.
TOWARD AN INTERVAL FUZZY THEORY
机译:
迈向区间模糊理论
作者:
M. M. M. T. SILVEIRA
;
B. R. C. BEDREGAL
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
interval fuzzy theory;
fuzzy systems;
fuzzy theory;
interval computation;
interval theory;
approximate reasoning;
41.
THREE-SEGMENT AGENT ARCHITECTURE USING JIM FOR WORKFLOW
机译:
使用JIM进行工作流的三段式代理架构
作者:
Lisa Schaefer
;
Gary Graf
;
Timothy Lindquist
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
agent architecture;
workflow;
distributed computing;
jini applications;
42.
The Multi-Layered Approach To Building Intelligent Systems
机译:
构建智能系统的多层方法
作者:
FAISAL AKKAWI
;
ATEF BADER
;
TZILLA ELRAD
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
aspect-oriented programming;
programming toward;
intelligent agents;
reusability;
business applications;
quality requirements;
43.
The Logic of Confusion
机译:
混乱的逻辑
作者:
Jean-Yves Beziau
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
paraconsistent logic;
discussivc logic.;
many-valued logic;
quantum physics;
44.
The Role of Defeasible Reasoning in the Modelling of Scientific Research Programmes
机译:
可推论推理在科学研究程序建模中的作用
作者:
Claudio Delrieux
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
knowledge representation;
defeasible reasoning;
theory of science;
45.
What Next for Learning in AI Planning?
机译:
在AI规划中学习的下一步是什么?
作者:
Terry Zimmerman
;
Subbarao Kambhampati
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
planning;
learning;
inductive;
analytical;
survey;
46.
Tableau Systems for Logics of Formal Inconsistency
机译:
Tableau系统用于形式不一致的逻辑
作者:
Walter A. Carnielli
;
Joao Marcos
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
contradiction;
inconsistency;
consistency;
paraconsistency;
tableaux;
47.
Scientific Rationality and Inconsistency: A Partial Structures Perspective
机译:
科学合理性与矛盾性:部分结构视角
作者:
Otavio Bueno
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
rationality;
inconsistency;
paraconsistent logic;
partial structures;
quasi-truth;
48.
Quantisation of Continous Valued Data through Scatter Search for Machine Learning Applications
机译:
通过分散搜索为机器学习应用程序量化连续值数据
作者:
Habiba Drias
;
M Arif Wani
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
quantisation of continuous valued data;
machine learning;
rule induction;
pattern classification;
49.
A Positive Formalization for the Notion of Pragmatic Truth
机译:
语用真理概念的积极形式化
作者:
Tarcisio Pequeno
;
Arthur Buchsbaum
;
Marcelino Pequeno
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
50.
A User Recognition System for Smart Computers
机译:
智能计算机的用户识别系统
作者:
Jinshan Tang
;
Qingling Sun
会议名称:
《》
|
2001年
关键词:
smart computer;
user's identity;
face recognition;
wavelet;
51.
Adapting Heuristic-Based Micro-Genetic Algorithm to Solve Vehicle Routing Problems with Time Windows
机译:
调整基于启发式的微遗传算法来解决带时间窗的车辆路径问题
作者:
Vincent Tam
;
Nikhil Barthwal
;
J.C. Jee
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
genetic algorithms;
heuristic searching;
evolutionary algorithms;
automated problem solving;
52.
Meta-Level Predicates: Obstacle to Safe SCR Learning
机译:
元级别谓词:安全SCR学习的障碍
作者:
Mike Barley
;
Hans Guesgen
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
learning;
agents;
planning;
safety;
53.
Neural-Fuzzy based 3D Anti-Sway Modelling and Control Design for Overhead Cranes
机译:
基于神经模糊的桥式起重机3D防摆建模与控制设计
作者:
M. Mahfouf
;
I. Ismail
;
G. Zissis
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
neural-fuzzy;
fuzzy;
3-D overhead crane;
modelling;
anti-sway;
54.
A Doublet Lens Design using a Genetic Algorithm
机译:
使用遗传算法的双合透镜设计
作者:
Sabu Johns
;
Peter J.Lowe
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
optics;
genetic algorithm;
design;
55.
A Generic Task Ontology for Scheduling Applications
机译:
用于计划应用程序的通用任务本体
作者:
Dnyanesh Rajpathak
;
Enrico Motta
;
Rajkumar Roy
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
intelligent scheduling;
ontologies;
knowledge modelling;
knowledge acquisition;
reuse;
56.
A Genetic Algorithm for Multiobjective Optimisation using the interactive Sequential Multiobjective Problem Solving method
机译:
交互式序贯多目标问题求解方法的多目标优化遗传算法
作者:
Alejandra Duenas
;
Neil Mort
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
57.
A Fuzzy Traffic Controller Adaptable to the Traffic Congestion
机译:
一种适应交通拥堵的模糊交通控制器
作者:
Wan-Kyoo Choi
;
Hong-Sang Yoon
;
Sung-Joo Lee
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
fuzzy traffic controller;
membership function modification algorithm;
traffic congestion;
58.
A Knowledge-Based System for Determining the Feasibility of a Web Site Project Proposed by a Client
机译:
基于知识的系统,用于确定客户提出的网站项目的可行性
作者:
Pablo Gervas
;
Juan Jose Escribano
;
Raul Murciano
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
requirements analysis;
applications of expert systems;
strategic decision support systems;
web quality;
web design;
59.
A COMPARISON OF GENETIC/MEMETIC ALGORITHMS AND OTHER HEURISTIC SEARCH TECHNIQUES
机译:
遗传/记忆算法与其他启发式搜索技术的比较
作者:
Shawki Areibi
;
Medhat Moussa
;
Hussein Abdullah
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
60.
Implementing e-CRM using Intelligent Software Agents on the Internet
机译:
使用Internet上的智能软件代理实施e-CRM
作者:
Ashis K. Pani
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
intelligent agents;
CRM;
e-CRM;
bots;
61.
IMPROVING ACOUSTIC MODELING BY MORE EFFICIENT USE OF DATA IN DECISION TREE BASED CLUSTERING
机译:
通过在决策树聚类中更有效地使用数据来改善声学建模
作者:
Chaojun Liu
;
Yonghong Yan
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
acoustic modeling;
phonetic decision tree;
hidden markov model (HMM);
triphone;
62.
Machine Learning Approach to Predict Software Evolvability using Fuzzy Binary Trees
机译:
基于模糊二叉树的机器学习方法预测软件演化
作者:
A. Mounir Boukadoum
;
Houari A. Sahraoui
;
Hakim Lounis
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
software reusability;
quality assessment;
machine learning;
fuzzy logic;
63.
First-Order Concept Learning Using Genetic Algorithms
机译:
使用遗传算法的一阶概念学习
作者:
Alireza Tamaddoni-Nezhad
;
Stephen Muggleton
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
genetic algorithms;
concept learning;
inductive logic programming;
64.
Evolutionary Optimization for Computationally expensive problems using Gaussian Processes
机译:
使用高斯过程的计算昂贵问题的进化优化
作者:
Mohammed A. El-Beltagy
;
Andy J. Keane
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
evolutionally computation;
optimization;
gaussian processes;
computationally expensive problems;
65.
Evolutionary Strategies vs. Neural Networks; An Inflation Forecasting Experiment
机译:
进化策略与神经网络;通货膨胀预测实验
作者:
Graham Kendall
;
Jane M Binner
;
Alicia M Gazely
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
evolutionary strategy;
divisia;
inflation forecasting;
divisia;
66.
GENETIC ALGORITHMS FOR OPTIMIZATION OF AIRSHIP BODIES
机译:
优化飞机机体的遗传算法
作者:
V. Nejati
;
K. Matsuuchi
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
genetic algorithms;
evolution;
optimization;
airship;
drag reduction;
67.
Genetic-guided Model-based Clustering Algorithms
机译:
基于遗传指导模型的聚类算法
作者:
Hui-Dong Jin
;
Kwong-Sak Leung
;
Man-Leung Wong
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
genetic algorithm;
data mining;
mixture model;
the expectation-maximization algorithm;
number of clusters;
68.
DATA MINING TECHNIQUES TO PREDICT INFORMATION SYSTEMS MAINTAINABILITY
机译:
数据挖掘技术可预测信息系统的可维护性
作者:
Marcela Genero
;
Francisco Pascual Romero
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
data mining;
OOIS maintainability;
class diagrams;
fuzzy prototypes;
69.
Designing Neural Networks by Genetic Algorithms
机译:
用遗传算法设计神经网络
作者:
Satoshi Mizuta
;
Toshio Shimizu
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
neuralnet;
genetic algorithm;
structure design;
optimum structure;
70.
Detection of Performance Bottlenecks: A Case-Based Reasoning Approach
机译:
检测性能瓶颈:基于案例的推理方法
作者:
Khalil Shihab
;
Haider A Ramadhan
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
case-based reasoning;
performance modelling;
fuzzy logic;
simulation;
71.
Detection of User's Bewilderedness by Multi-modal User Behavior and Formal Model
机译:
通过多模式用户行为和形式化模型检测用户的困惑
作者:
Shunichi Tano
;
Yukihiro Tatsuda
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
man-machine interaction;
multi-modal interface;
bewilderedness;
dynamic programming;
formal model;
72.
Discretization Algorithm that Uses Class-Attribute Interdependence Maximization
机译:
使用类属性相互依赖最大化的离散化算法
作者:
Lukasz Kurgan
;
Krzysztof J. Cios
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
discretization;
class-attribute inter-dependency maximization;
CAIM algorithm;
machine learning;
classification;
CLIP4 algorithm;
73.
Differential Evolution for Medical Image Registration
机译:
医学图像配准的差分进化
作者:
Michel Salomon
;
Guy-Rene Perrin
;
Fabrice Heitz
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
3D medical image registration;
optimization;
differential evolution;
74.
Analysis of Quantum-Inspired Evolutionary Algorithm
机译:
量子启发式进化算法分析
作者:
Kuk-Hyun Han
;
Jong-Hwan Kim
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
quantum-inspired algorithm;
evolutionary algorithm;
quantum-inspired evolutionary algorithm;
knapsack problem;
combinatorial optimization;
75.
An Adaptive Approach for Planning in Dynamic Environments
机译:
动态环境中的自适应规划方法
作者:
Giuliano Armano
;
Eloisa Vargiu
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
learning macro operators;
learning abstract operators;
abstraction;
hierarchical planning;
interleaving planning and execution;
76.
Using Recursive Control Rules in Planning
机译:
在计划中使用递归控制规则
作者:
Janin Toussaint
;
Ute Schmid
;
Fritz Wysotzki
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
generalization-to-n;
control rule learning;
77.
Unsupervised Taxonomy of Large Document Corpora Utilizing Idiomatic Character of Natural Languages
机译:
利用自然语言的惯用特性的大文档语料库的无监督分类法
作者:
Nahum Korda
;
Naphtali Abudarham
;
Shmulik Regev
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
78.
Summarizing Data Sets for Classification
机译:
汇总分类数据集
作者:
Christopher W. Kinzig
;
Krishnaprasad Thirunarayan
;
Gary B. Lamont
;
Robert E. Marmelstein
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
classifier;
data mining;
genetic algorithm;
supervised learning;
porting;
79.
Strong Relevance as a Logical Validity Criterion for Scientific Reasoning
机译:
强烈的相关性作为科学推理的逻辑有效性标准
作者:
Jingde Cheng
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
validity of reasoning;
conditional;
entailment;
relevant logic;
the principle of strong relevance;
80.
Language Model for Chinese Character Recognition with Dense Errors
机译:
具有密集错误的汉字识别语言模型
作者:
Sheng Zhang
;
Xianli Wu
会议名称:
《International Conference on Artificial Intelligence IC-AI'2001 Vol.2, Jun 25-28, 2001, Las Vegas, Nevada, USA》
|
2001年
关键词:
language model;
character recognition;
n-gram model;
3g-gram;
cache-based model;
markov;
意见反馈
回到顶部
回到首页