掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
PRICAI'96: Topics in artificial intelligence
PRICAI'96: Topics in artificial intelligence
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
电脑编程技巧与维护
学电脑
互动软件
计算机安全
博客族
金卡工程
自动化与仪表
微电脑世界
自动化应用
首都信息化
更多>>
相关外文期刊
IEEE intelligent systems & their applications
International journal of synthetic emotions
Solid-State Circuits Magazine, IEEE
Grundlagenstudien aus Kybernetik und Geisteswissenschaft
Foundations and trends in machine learning
International Journal of Grid and Utility Computing
Intelligent automation and soft computing
AI & society
International journal of humanoid robotics
ACM Journal of Computer Documentation
更多>>
相关中文会议
中国科学院技术科学论坛第二十三次学术报告会议(CAE自主创新发展战略)
第三届信息安全漏洞分析与风险评估大会
第五届和谐人机环境联合学术会议(HHME2009)、第18届全国多媒体学术会议(NCMT2009)、第4届全国普适计算学术会议(PCC2009)、第5届全国人机交互学术会议(CHCI2009)
第十一届中国计算机学会网络与数据通信专业学术会议
第二届仪表、自动化与先进集成技术大会
第三届中国系统建模与仿真技术高层论坛
2002中国控制与决策学术年会
第二届信息安全漏洞分析与风险评估大会
2013年全国开放式分布与并行计算学术年会
第十一届全国信息隐藏暨多媒体信息安全学术大会 CIHW2013
更多>>
相关外文会议
13th International Conference on New Technologies for Distributed Systems
Theory of Cryptography Conference(TCC 2006); 20060304-07; New York, NY(US)
International Conference on Artificial Intelligence and Soft Computing(ICAISC 2006); 20060625-29; Zakopane(PL)
Remote Sensing and Photogrammetry Society annual conference 2011
Multimedia content and mobile devices
IFIP 146; IFIP(International Federation for Information Processing) World Computer Congress TC6/TC8/TC11 International Conference on E-Commerce, E-Business, and E-Government(I3E 2004); 20040822-27; Toulouse(FR)
Innovative and creative developments in multimodal interaction systems
Model checking software
Biologically-Inspired Collaborative Computing
Network and parallel computing
更多>>
热门会议
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.
An application of hierarchical knowledge integrationin hand-written form processing
机译:
层次知识集成在手写表格处理中的应用
作者:
Fon-Lin Lai
;
Joo-Hwee Lim
;
Liya Ding
;
An-Hwee Tan
;
Ho-Chung Lui
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
2.
An architecture for autonomous flying vehicles: a preliminary report
机译:
自动飞行器架构:初步报告
作者:
Lam-Fan Lee
;
Alex Kean
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
关键词:
Architecture;
Multi-agent System;
Planning.;
3.
Cost-sensitive specialization
机译:
成本敏感的专业
作者:
Geoffrey I.Webb
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
4.
Creating theoretical terms for non-deterministic actions
机译:
为非确定性行为创建理论术语
作者:
Rex Bing Hung Kwok
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
5.
On formation of exception hierarchy
机译:
关于异常层次结构的形成
作者:
Kouzou Ohara
;
Noboru Babaguchi
;
Tadahiro Kitahashi
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
6.
The complexity of batch approaches to reduced error rule set induction
机译:
减少错误规则集归纳的批处理方法的复杂性
作者:
Mike Cameron-Jones
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
7.
Team learning of recursive languages
机译:
团队学习递归语言
作者:
Sanjay Jain
;
Arun Sharma
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
8.
The concept classification of a terminology extended by conjunctionand disjunction
机译:
通过合取和析取扩展的术语的概念分类
作者:
Gerd Stumme
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
9.
Validity of normality assumptionin CSP research
机译:
CSP研究中正态性假设的有效性
作者:
Alvin C.M.Kwan
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
10.
Wvidential temporal representations and reasoning
机译:
瞬时证据和推理
作者:
Bingning Dai
;
David A.Bell
;
John G.Hughes
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
11.
Fall diagnosis using dynamic belief networks
机译:
使用动态信念网络进行跌倒诊断
作者:
A.E.Nicholson
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
12.
Using artificial neural networks for meteor-burst communications trail prediction
机译:
使用人工神经网络进行流星爆发通信轨迹预测
作者:
Stuart Melville
;
Geoff Sutcliffe
;
David Fraser
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
关键词:
Neural networks;
Applications to telecommunications;
13.
Anytime default inference
机译:
随时默认推断
作者:
Aditya K.Ghose
;
Randy Goebel
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
14.
An intelligent education system which supports scientific thinking: Galieo - phiosophy and basic architecture
机译:
支持科学思维的智能教育系统:伽利略-哲学与基础建筑
作者:
Kumiko Ishino
;
Katuo Sugai
;
Riichiro Mizoguchi
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
15.
aux for expansion and contraction
机译:
辅助膨胀和收缩
作者:
Roderic A.Girle
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
关键词:
belief revision;
paraconsistency;
tableaux;
16.
Automatic making of sokoban problems
机译:
自动制作推箱子问题
作者:
Yoshio Murase
;
Hitoshi Matsubara
;
Yuzuru Hiraga
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
17.
Declarative program theory with implicit implication
机译:
具有隐含含义的声明式程序理论
作者:
Vilas Wuwongse
;
Ekawit Nantajeewarawat
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
18.
Efficient multiple predicate learner based on fast failure mechanism
机译:
基于快速故障机制的高效多谓词学习器
作者:
Xiaolong Zhang
;
Masayuki Numao
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
19.
Domain world models represented from variable viewpoints for ICAI systems of high-school chemistry
机译:
从高中化学ICAI系统的可变观点表示的领域世界模型
作者:
Tatsuhiro Knishi
;
Yukihiro Itoh
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
关键词:
Intelligent CAI Systems;
Domain World Models;
Viewpoints;
20.
Conservative expansion concepts for default theories
机译:
默认理论的保守扩展概念
作者:
Grigoris Antoniou
;
Craig K.MacNish
;
Norman Y.Foo
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
21.
High-level synthesis optimisation with genetic algorithms
机译:
遗传算法的高级综合优化
作者:
Jem Daalder
;
Peter W.Eklund
;
Kenji Ohmori
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
22.
Extractionof face region and features based on chromatic properties of human faces
机译:
基于人脸色彩特性的人脸区域和特征提取
作者:
Tae-Woong Yoo
;
Il-Seok Oh
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
23.
Extending partial orders for sort reasoning
机译:
扩展部分订单以进行排序推理
作者:
Andrew Fall
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
24.
Inductive equational reasoning
机译:
归纳方程推理
作者:
Michael Bulmer
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
25.
A framework for reasoning about requirements evolution
机译:
有关需求演变的推理框架
作者:
Didar Zowghi
;
Aditya K.Ghose
;
Pavlos Peppas
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
关键词:
AI applications in software engineering;
default reasoning;
belief revision.;
26.
A fast pattern-matching algorithm using matching candidates for productionsystems
机译:
使用匹配候选系统的快速模式匹配算法
作者:
Mitsunori Matsushita
;
Motohide Umano
;
Itsuo Hatono
;
Hiroyuki Tamura
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
27.
A logic for concurrent events and action failure
机译:
并发事件和操作失败的逻辑
作者:
David Morley
;
Liz Sonenberg
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
28.
A history-oriented envisioning method
机译:
面向历史的设想方法
作者:
Takashi Washio
;
Hiroshi Motoda
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
29.
A general framework for mechanizing induction using test set
机译:
使用测试集机械化归纳的通用框架
作者:
Adel Bouhoula
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
关键词:
Automated reasoning;
Theorem Proving;
Logic and Formal Verification;
30.
Parallel cost-based abductive reasoning for distributed memory systems
机译:
分布式存储系统基于成本的并行归纳推理
作者:
Shohei Kato
;
Hirohisa Seki
;
Hidenori Itoh
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
31.
Adaptive SEJONG-NET for On-Line Hangul Recongnition
机译:
自适应SEJONG-NET用于在线韩文识别
作者:
Hyeyoung Park
;
Kwanyong Lee
;
Hyeran Byun
;
Yillbyung Lee
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
32.
Studying properties of classes of default logics-preliminary report
机译:
研究默认逻辑类的属性-初步报告
作者:
Grigoris Antoniou
;
Tyrone ONeill
;
Joe Thurbon
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
33.
Remembrance of discourse based on textual continuity: a spreading activation network
机译:
基于文本连续性的话语记忆:扩展的激活网络
作者:
Samuel W.K.Chan
;
James Franklin
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
34.
An improved generic arc consistency algorithm and its specializations
机译:
改进的通用弧一致性算法及其专业化
作者:
Bing Liu
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
35.
On semantic resolution with lemmaizing and contraction
机译:
语义化与收缩的语义解析
作者:
Maria Paola Bonacina
;
Jieh Hsiang
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
36.
Symbol processing by non-symbol processor
机译:
非符号处理器的符号处理
作者:
Setsuo Ohsuga
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
37.
Translating machine-generated resolution proofs into ND-proofs at the assertion level
机译:
在声明级别将机器生成的分辨率证明转换为ND证明
作者:
Xiaorong Huang
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
38.
The development of an interactive fault diagnosis expert system for telecommunication applications
机译:
面向电信应用的交互式故障诊断专家系统的开发
作者:
Ming Zhao
;
Chris Leckie
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
关键词:
Expert System;
Fault Diagnosis;
Industrial Application;
39.
Using neural nets to investigate lexical analysis
机译:
使用神经网络研究词法分析
作者:
Malti Patel
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
40.
Lexical access using minimum message length encoding
机译:
使用最小消息长度编码进行词法访问
作者:
Ian Thomas
;
Ingrid Zukerman
;
Jonathan Oliver
;
Bhavani Raskutti
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
41.
An update procedure for a probabilistic deductive database
机译:
概率演绎数据库的更新过程
作者:
Angelo C.Restificar
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
42.
Combining views on concepts in unsupervised concept learning
机译:
在无监督的概念学习中结合概念的观点
作者:
TuBao Ho
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
43.
AMI: a model of intelligence
机译:
AMI:智能模型
作者:
D.B.Hoang
;
M.R.James
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
关键词:
Intelligent systems;
neural networks;
learning algorithms;
neocortex;
44.
Bringing about rationality: incorporating plans into a BDI agent architecture
机译:
带来合理性:将计划整合到BDI代理架构中
作者:
Lawrence Cavedon
;
Anand Rao
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
45.
CIFI: an intelligent agent for citation finding on the world-wide web
机译:
CIFI:在万维网上查找引文的智能代理
作者:
Seng W.Loke
;
Andrew Davison
;
Leon Sterling
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
46.
Face recognition through hough transform for irises extraction and projection procedures for parts localization - for facial caricaturing system PICASSO
机译:
通过霍夫变换进行人脸识别以提取虹膜和进行局部定位的投影程序-用于面部漫画系统PICASSO
作者:
Yoshiaki Segawa
;
Hiroshi Sakai
;
Toshio Endoh
;
Kazuhito Murakami
;
Takashi Toriu
;
Hiroyasu Koshimizu
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
47.
Exten: a system for computing default logic extensions
机译:
扩展:用于计算默认逻辑扩展的系统
作者:
Allen P.Courtney
;
Grigoris Antoniou
;
Norman Y.Foo
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
48.
Learning cooperative behavior in multi-agent environment - a case study of choice of play-plans in soccer
机译:
在多主体环境中学习合作行为-以足球比赛计划选择为例
作者:
Itsuki Noda
;
Hitoshi Matsubara
;
Kazuo Hiraki
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
关键词:
Multi-agent System;
Machine Learning;
Neural Networks;
49.
Learning simple recursive concepts by discovering missing examples
机译:
通过发现缺失的示例来学习简单的递归概念
作者:
Chowdhury Rahman Mofizur
;
Masayuki Numao
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
50.
Knowledge decomposition: an analysis
机译:
知识分解:分析
作者:
John Debenham
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
51.
Modeling commonsense rules in an inference network
机译:
在推理网络中建模常识规则
作者:
Boon Toh Low
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
52.
Acquiring user preferences for information filtering in interactive multi-media services
机译:
获取用户偏好以进行交互式多媒体服务中的信息过滤
作者:
Bhavani Raskutti
;
Anthony Beitz
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
53.
A unified algebraic structure for uncertain reasonings
机译:
不确定推理的统一代数结构
作者:
Xudong Luo
;
Chengqi Zhang
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
54.
A unified approach to handling uncertainty during cooperative consultations
机译:
合作协商过程中处理不确定性的统一方法
作者:
Bhavani Raskutti
;
Ingrid Zukerman
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
55.
A qualitative reasoning based on an ontology of fluid systems and its evaluation
机译:
基于流体系统本体的定性推理及其评价
作者:
Yoshinobu Kitamura
;
Mitsuru Ikeda
;
Riichiro Mizoguchi
会议名称:
《PRICAI'96: Topics in artificial intelligence》
|
1996年
意见反馈
回到顶部
回到首页