掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International joint conference on artificial intelligence
International joint conference on artificial intelligence
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Proposing Measurements in Dynamic Systems
机译:
提出动态系统中的测量
会议名称:
《International joint conference on artificial intelligence》
|
1995年
2.
Towards Efficient Default Reasoning
机译:
实现有效的默认推理
会议名称:
《International joint conference on artificial intelligence》
|
1995年
3.
Composition in Hierarchical CLP
机译:
分层CLP中的组成
会议名称:
《International joint conference on artificial intelligence》
|
1995年
4.
Representations for Active Vision
机译:
积极愿景的表现
会议名称:
《International joint conference on artificial intelligence》
|
1995年
5.
The Automatic Programming of Agents that Learn Mental Models and Create Simple Plans of Action
机译:
学习精神模型的代理自动编程,创造简单的行动计划
会议名称:
《International joint conference on artificial intelligence》
|
1995年
6.
An algebraic approach to granularity in qualitative time and space representation
机译:
定性时间和空间表示中粒度的代数方法
会议名称:
《International joint conference on artificial intelligence》
|
1995年
7.
Stratified Case-Based Reasoning: Reusing Hierarchical Problem Solving Episodes
机译:
基于分层的案例推理:重用分层问题解决剧集
会议名称:
《International joint conference on artificial intelligence》
|
1995年
8.
A Hybrid Rule-based System: How Variables are Involved in Connectionist Rule-based Systems
机译:
基于混合规则的系统:变量如何涉及基于密集规则的系统
会议名称:
《International joint conference on artificial intelligence》
|
1995年
9.
An Analysis of Approximate Knowledge Compilation
机译:
近似知识汇编分析
会议名称:
《International joint conference on artificial intelligence》
|
1995年
10.
Equality Elimination for the Inverse Method and Extension Procedures
机译:
逆方法和扩展程序的平等消除
会议名称:
《International joint conference on artificial intelligence》
|
1995年
11.
Efficient Algorithms and Performance Results for Multi-User Knowledge Bases
机译:
多用户知识库的有效算法和性能结果
会议名称:
《International joint conference on artificial intelligence》
|
1995年
12.
Visual routines and visual search: a real-time implementation and an automata-theoretic analysis
机译:
视觉例程和视觉搜索:实时实现和自动机构分析
会议名称:
《International joint conference on artificial intelligence》
|
1995年
13.
Knowledge Compilation Using Theory Prime Implicates
机译:
使用理论素数的知识汇编意识到
会议名称:
《International joint conference on artificial intelligence》
|
1995年
14.
Understanding Neural Networks via Rule Extraction
机译:
通过规则提取了解神经网络
会议名称:
《International joint conference on artificial intelligence》
|
1995年
15.
GR2 - A Hybrid Knowledge-based System Using General Rules
机译:
GR2 - 一种使用一般规则的混合知识的系统
会议名称:
《International joint conference on artificial intelligence》
|
1995年
关键词:
rule extraction;
hybrid knowledge-based system;
neural network;
rule validation;
16.
Theoretical Analysis of Davis-Putnam Procedure and Propositional Satisfiability
机译:
Davis-Putnam程序和命题可靠性的理论分析
会议名称:
《International joint conference on artificial intelligence》
|
1995年
17.
Best-First Fixed-Depth Game-Tree Search in Practice
机译:
在练习中最佳的固定深度游戏树搜索
会议名称:
《International joint conference on artificial intelligence》
|
1995年
18.
k-best: A New Method for Real-Time Decision Making
机译:
K-BEST:实时决策的一种新方法
会议名称:
《International joint conference on artificial intelligence》
|
1995年
19.
Abductive Framework for Nonmonotonic Theory Change
机译:
非单调理论变化的绑架框架
会议名称:
《International joint conference on artificial intelligence》
|
1995年
20.
On the Complexity of Extending Ground Resolution with Symmetry Rules
机译:
论对称规则扩展地面分辨率的复杂性
会议名称:
《International joint conference on artificial intelligence》
|
1995年
21.
Knowledge Considerations in Robotics and Distribution of Robotic Tasks
机译:
机器人技术的知识考虑和机器人任务的分布
会议名称:
《International joint conference on artificial intelligence》
|
1995年
22.
Topological Inference
机译:
拓扑推理
会议名称:
《International joint conference on artificial intelligence》
|
1995年
23.
Organization of Hierarchical Perceptual Sounds: Music Scene Analysis with Autonomous Processing Modules and a Quantitative Information Integration Mechanism
机译:
组织分层感知声音:音乐场景分析与自主处理模块和定量信息集成机制
会议名称:
《International joint conference on artificial intelligence》
|
1995年
24.
Action and Perception in Man-Made Environments
机译:
人造环境中的行动和感知
会议名称:
《International joint conference on artificial intelligence》
|
1995年
25.
Optional Deep Case Filling and Focus Control with Mental Images: ANTLIMA-KOREF
机译:
可选的深案填充和焦点控制与心理图像:Antlima-Koref
会议名称:
《International joint conference on artificial intelligence》
|
1995年
26.
Agents on Stage: Advancing the State of the Art of AI Extended for an Invited Talk
机译:
舞台上的代理商:推进AI的艺术状态为邀请谈话
会议名称:
《International joint conference on artificial intelligence》
|
1995年
27.
Control Structures for Incorporating Picture-Specific Context in Image Interpretation
机译:
控制结构在图像解释中结合图片特定上下文
会议名称:
《International joint conference on artificial intelligence》
|
1995年
28.
Task allocation via coalition formation among autonomous agents
机译:
通过自主代理商之间的联盟形成任务分配
会议名称:
《International joint conference on artificial intelligence》
|
1995年
29.
Using the Representation in a Neural Network's Hidden Layer for Task-Specific Focus of Attention
机译:
使用神经网络隐藏层中的表示进行任务特定的注意力
会议名称:
《International joint conference on artificial intelligence》
|
1995年
30.
Flexible social laws
机译:
灵活的社会法律
会议名称:
《International joint conference on artificial intelligence》
|
1995年
31.
Formalizing Behavior-based Planning for Nonholonomic Robots
机译:
非完整机器人的正式行为规划
会议名称:
《International joint conference on artificial intelligence》
|
1995年
32.
Qualitative Interpretation of Spectral Images: Reasoning with Uncertain Evidence
机译:
频谱图像的定性解释:具有不确定证据的推理
会议名称:
《International joint conference on artificial intelligence》
|
1995年
33.
Determining Explanations using Transmutations
机译:
使用差异确定解释
会议名称:
《International joint conference on artificial intelligence》
|
1995年
34.
Robotic Perception of Material
机译:
机器人的材料感知
会议名称:
《International joint conference on artificial intelligence》
|
1995年
35.
Profiling Communication in Distributed Genetic Algorithms
机译:
分布式遗传算法中的分析通信
会议名称:
《International joint conference on artificial intelligence》
|
1995年
36.
Active Agent Oriented Multimodal Interface System
机译:
主动代理面向多式联界面系统
会议名称:
《International joint conference on artificial intelligence》
|
1995年
关键词:
AI application;
multimodal interface;
autonomous agent;
spoken dialogue;
visual recognition;
facial display;
37.
Experiments with Associative-Commutative Discrimination Nets
机译:
与关联歧视网的实验
会议名称:
《International joint conference on artificial intelligence》
|
1995年
38.
Category Translation: Learning to understand information on the Internet
机译:
类别翻译:学习了解互联网信息
会议名称:
《International joint conference on artificial intelligence》
|
1995年
39.
Semantics and Complexity of Abduction from Default Theories
机译:
从默认理论中绑架的语义和复杂性
会议名称:
《International joint conference on artificial intelligence》
|
1995年
40.
Letizia: An Agent That Assists Web Browsing
机译:
Letizia:协助Web浏览
会议名称:
《International joint conference on artificial intelligence》
|
1995年
41.
Using Inference to Reduce Arc Consistency Computation
机译:
使用推理以降低电弧一致性计算
会议名称:
《International joint conference on artificial intelligence》
|
1995年
42.
Limited Discrepancy Search
机译:
有限的差异搜索
会议名称:
《International joint conference on artificial intelligence》
|
1995年
43.
Knowledge Representation in the Large
机译:
大的知识表示
会议名称:
《International joint conference on artificial intelligence》
|
1995年
44.
Fitting Models to Distributed Representations of Vision
机译:
拟合模型到视野的分布式表示
会议名称:
《International joint conference on artificial intelligence》
|
1995年
45.
How to Use Limited Memory in Heuristic Search
机译:
如何在启发式搜索中使用有限的内存
会议名称:
《International joint conference on artificial intelligence》
|
1995年
46.
Extending Semantic Resolution via Automated Model Building: applications
机译:
通过自动模型构建扩展语义分辨率:应用程序
会议名称:
《International joint conference on artificial intelligence》
|
1995年
47.
GSAT and Local Consistency
机译:
GSAT和局部一致性
会议名称:
《International joint conference on artificial intelligence》
|
1995年
48.
Inter-diagrammatic Reasoning
机译:
图中际推理
会议名称:
《International joint conference on artificial intelligence》
|
1995年
49.
Matchmaking for Information Agents
机译:
对信息代理商的匹配
会议名称:
《International joint conference on artificial intelligence》
|
1995年
50.
Turing Test Considered Harmful
机译:
考虑有害的测试
会议名称:
《International joint conference on artificial intelligence》
|
1995年
51.
Vive la difference! Individualised interaction with users
机译:
vive la差异!与用户的个性化互动
会议名称:
《International joint conference on artificial intelligence》
|
1995年
52.
Combining the Predictions of Multiple Classifiers: Using Competitive Learning to Initialize Neural Networks
机译:
组合多分类器的预测:使用竞争学习来初始化神经网络
会议名称:
《International joint conference on artificial intelligence》
|
1995年
53.
Using Knowledge to Isolate Search in Route Finding
机译:
使用知识在路线发现中隔离搜索
会议名称:
《International joint conference on artificial intelligence》
|
1995年
54.
Explaining Subsumption in Description Logics
机译:
解释描述逻辑中的余额
会议名称:
《International joint conference on artificial intelligence》
|
1995年
55.
A Qualitative Approach to Sensor Data Fusion for Mobile Robot Navigation
机译:
移动机器人导航传感器数据融合的定性方法
会议名称:
《International joint conference on artificial intelligence》
|
1995年
56.
Remembering To Forget A Competence-Preserving Case Deletion Policy for Case-Based Reasoning Systems
机译:
记住忘记基于案例推理系统的能力保存案例删除策略
会议名称:
《International joint conference on artificial intelligence》
|
1995年
57.
Second-Order Matching modulo Evaluation -A Technique for Reusing Proofs
机译:
二阶匹配模数评价-A技术重用证明
会议名称:
《International joint conference on artificial intelligence》
|
1995年
58.
Performance Test of Local Search Algorithms Using New Types of Random CNF Formulas
机译:
使用新型随机CNF公式的本地搜索算法的性能测试
会议名称:
《International joint conference on artificial intelligence》
|
1995年
59.
Determining what to learn through component-task modeling
机译:
通过组件任务建模确定学习的内容
会议名称:
《International joint conference on artificial intelligence》
|
1995年
60.
The Comparative Linguistics of Knowledge Representation
机译:
知识代表的比较语言学
会议名称:
《International joint conference on artificial intelligence》
|
1995年
61.
Model Elimination, Logic Programming and Computing Answers
机译:
模型消除,逻辑编程和计算答案
会议名称:
《International joint conference on artificial intelligence》
|
1995年
关键词:
automated reasoning;
theorem prov-ing;
model elimination;
logic programming;
com-puting answers;
62.
A Model for Hormonal Modulation of Learning
机译:
学习荷尔蒙调制模型
会议名称:
《International joint conference on artificial intelligence》
|
1995年
63.
Animate Vision in a Rich Environment
机译:
在丰富的环境中激动愿景
会议名称:
《International joint conference on artificial intelligence》
|
1995年
64.
Using Information Content to Evaluate Semantic Similarity in a Taxonomy
机译:
使用信息内容在分类中评估语义相似性
会议名称:
《International joint conference on artificial intelligence》
|
1995年
65.
The Generic Frame Protocol
机译:
通用帧协议
会议名称:
《International joint conference on artificial intelligence》
|
1995年
66.
Model-Based Diagnosis using Causal Networks
机译:
基于模型的诊断使用因果网络
会议名称:
《International joint conference on artificial intelligence》
|
1995年
67.
On Heuristic Reasoning, Reactivity, and Search
机译:
关于启发式推理,反应性和搜索
会议名称:
《International joint conference on artificial intelligence》
|
1995年
68.
Explaining the Ineffable: Al on the Topics of Intuition, Insight and Inspiration
机译:
解释Indefable:Al在直觉,见解和灵感的主题上
会议名称:
《International joint conference on artificial intelligence》
|
1995年
69.
Self-Organization of Symbolic Processes through Interaction with the Physical World
机译:
通过与物理世界的互动的自我组织象征过程
会议名称:
《International joint conference on artificial intelligence》
|
1995年
70.
Experimenting with Revisits in Game Tree Search
机译:
试验在游戏树搜索中重新访问
会议名称:
《International joint conference on artificial intelligence》
|
1995年
71.
A Theoretical Evaluation of Selected Backtracking Algorithms
机译:
选定的回溯算法的理论评价
会议名称:
《International joint conference on artificial intelligence》
|
1995年
72.
The Trailblazer Search with a Hierarchical Map
机译:
Trailblazer使用分层地图搜索
会议名称:
《International joint conference on artificial intelligence》
|
1995年
73.
Natural Basis Functions and Topographic Memory for Face Recognition
机译:
自然基础函数和面部识别的地形记忆
会议名称:
《International joint conference on artificial intelligence》
|
1995年
74.
Knowledge-Based Anytime Computation
机译:
基于知识的随时计算
会议名称:
《International joint conference on artificial intelligence》
|
1995年
75.
Toward a Geometry of Common Sense: A Semantics and a Complete Axiomatization of Mereotopology
机译:
朝着常识的几何形状:一种语义和整体表缺失的完全公理化
会议名称:
《International joint conference on artificial intelligence》
|
1995年
76.
Stochastic Search and Phase Transitions: AI Meets Physics
机译:
随机搜索和阶段转换:AI符合物理学
会议名称:
《International joint conference on artificial intelligence》
|
1995年
77.
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets
机译:
汇总中的内容:用于描述具有元组和集合的逻辑的基础
会议名称:
《International joint conference on artificial intelligence》
|
1995年
78.
A Logical Account of Relevance
机译:
相关性的逻辑叙述
会议名称:
《International joint conference on artificial intelligence》
|
1995年
79.
Rationality and Intelligence
机译:
合理性和智力
会议名称:
《International joint conference on artificial intelligence》
|
1995年
80.
The Semantics of Intention Maintenance for Rational Agents
机译:
理性代理商的意图维护的语义
会议名称:
《International joint conference on artificial intelligence》
|
1995年
81.
Forgetting and Compacting data in Concept Learning
机译:
在概念学习中忘记和压缩数据
会议名称:
《International joint conference on artificial intelligence》
|
1995年
82.
Using CBR to Drive IR
机译:
使用CBR来驱动IR
会议名称:
《International joint conference on artificial intelligence》
|
1995年
83.
Hybrid Learning Using Genetic Algorithms and Decision Trees for Pattern Classification
机译:
用遗传算法和决策树进行混合学习模式分类
会议名称:
《International joint conference on artificial intelligence》
|
1995年
84.
A Qualitative Discretization for Two-Body Contacts
机译:
对双体联系人的定性离散化
会议名称:
《International joint conference on artificial intelligence》
|
1995年
关键词:
qualitative spatial reasoning;
assembly planning;
contact formations;
85.
A Theoretical and Experimental Comparison of Constraint Propagation Techniques for Disjunctive Scheduling
机译:
约束传播技术对析出调度的理论与实验比较
会议名称:
《International joint conference on artificial intelligence》
|
1995年
86.
RESC: An Approach for Real-time, Dynamic Agent Tracking
机译:
RECC:实时的方法,动态代理跟踪
会议名称:
《International joint conference on artificial intelligence》
|
1995年
87.
Social Dilemmas in Computational Ecosystems
机译:
计算生态系统中的社会困境
会议名称:
《International joint conference on artificial intelligence》
|
1995年
88.
Kanerva's Sparse Distributed Memory: An Object-Oriented Implementation on the Connection Machine
机译:
Kanerva的稀疏分布式内存:连接机上的面向对象的实现
会议名称:
《International joint conference on artificial intelligence》
|
1995年
89.
On Bootstrapping Local Search with Trail-Markers
机译:
在引导与跟踪标记的引导本地搜索
会议名称:
《International joint conference on artificial intelligence》
|
1995年
90.
A Semantic Theory of Abstractions
机译:
抽象语义理论
会议名称:
《International joint conference on artificial intelligence》
|
1995年
91.
On the Space-Time Trade-off in Solving Constraint Satisfaction Problems
机译:
关于解决约束满足问题的时空折衷
会议名称:
《International joint conference on artificial intelligence》
|
1995年
92.
Synthesizing Plant Controllers Using Real-time Goals
机译:
使用实时目标合成工厂控制器
会议名称:
《International joint conference on artificial intelligence》
|
1995年
93.
Equilibrium Analysis of the Possibilities of Unenforced Exchange in Multiagent Systems
机译:
多元系统未加工交换可能性的平衡分析
会议名称:
《International joint conference on artificial intelligence》
|
1995年
94.
An Architecture for Vision and Action
机译:
愿景和行动的架构
会议名称:
《International joint conference on artificial intelligence》
|
1995年
95.
Increasing Functional Constraints Need to Be Checked Only Once
机译:
增加功能约束只需要检查一次
会议名称:
《International joint conference on artificial intelligence》
|
1995年
96.
Extracting Constraint Satisfaction Subproblems
机译:
提取约束满足子问题
会议名称:
《International joint conference on artificial intelligence》
|
1995年
97.
Look-ahead value ordering for constraint satisfaction problems
机译:
前瞻值订购约束满足问题
会议名称:
《International joint conference on artificial intelligence》
|
1995年
98.
Adaptable Planner Primitives for Real-World Robotic Applications
机译:
适用于现实世界机器人应用的适应性策划基元
会议名称:
《International joint conference on artificial intelligence》
|
1995年
99.
UTILIZING MOMENT INVARIANTS AND GROBNER BASES TO REASON ABOUT SHAPES
机译:
利用时刻不变性和Grobner基地的原因是关于形状的原因
会议名称:
《International joint conference on artificial intelligence》
|
1995年
100.
Logic Programming for Robot Control
机译:
机器人控制的逻辑编程
会议名称:
《International joint conference on artificial intelligence》
|
1995年
意见反馈
回到顶部
回到首页