掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
计算机、自动化
>
20th European conference on artificial intelligence
20th European conference on artificial intelligence
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
相关中文期刊
传感技术学报
自动化与信息工程
程序员
软件导刊
中国计算机用户
卷宗
传动技术
金卡工程
智能系统学报
微型计算机
更多>>
相关外文期刊
Simulation & Gaming
CIO
PC Quest
International Journal on Software Tools for Technology Transfer
L'Informatique Professionnelle
International Journal of Parallel and Distributed Systems & Networks
User modeling and user-adapted interaction
Mathematical structures in computer science
Computational Intelligence
Release 1.0
更多>>
相关中文会议
第五届中国科学院超级计算机应用大会
第二届中日自然语言处理专家研讨会
第五届中国计算机支持的协同工作学术会议(C=CSCW2006)与第三届全国智能信息网络学术会议(IIN2006)
2000年CERNET第七届学术会议
1999年青岛-香港国际计算机会议
2008中国计算机网络安全应急年会(信息内容安全分会)
2012年全国网络与数字内容安全学术年会
第20届全国计算机新科技与计算机教育学术大会
2003年全国数字化设计与制造学术会议
2007年度江苏省计算机学会系统结构专委会学术年会
更多>>
相关外文会议
2014 Annual International Conference on Emerging Research Areas: Magnetics, Machines and Drives
Second Kyoto Workshop on Digital Cities, Oct 18-20, 2001, Kyoto, Japan
PRICAI'96: Topics in artificial intelligence
Information Networking: Towards Ubiquitous Networking and Services
Proceedings of the conference on TRI-Ada '95
Workshop on information extraction and entity analytics on social media data
Proceedings of the ACM symposium on user interface software and technology
Proceedings of the APL98 conference on Array processing language
5th International Workshop on Cryptographic Hardware and Embedded Systems ― CHES 2003 Sep 8-10, 2003 Cologne, Germany
Proceedings of the 2000 IEEE symposium on Volume visualization
更多>>
热门会议
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
)
清除
导出
共
195
条结果
1.
Hybrid Regression-Classification Models for Algorithm Selection
机译:
用于算法选择的混合回归分类模型
作者:
Lars Kotthoff
会议名称:
《20th European conference on artificial intelligence》
|
2012年
2.
Verification of Description Logic Knowledge and Action Bases
机译:
验证描述逻辑知识和操作基础
作者:
Babak Bagheri Hariri
;
Diego Calvanese
;
Giuseppe De Giacomo
;
Riccardo De Masellis
;
Paolo Felli
;
Marco Montali
会议名称:
《20th European conference on artificial intelligence》
|
2012年
3.
Nested Monte-Carlo Tree Search for Online Planning in Large MDPs
机译:
嵌套的蒙特卡洛树搜索用于大型MDP中的在线计划
作者:
Hendrik Baier
;
Mark H. M. Winands
会议名称:
《20th European conference on artificial intelligence》
|
2012年
4.
Institutionalised Paxos Consensus
机译:
制度化的共识
作者:
David Sanderson
;
Jeremy Pitt
会议名称:
《20th European conference on artificial intelligence》
|
2012年
5.
LoCo - A Logic for Configuration Problems
机译:
LoCo-配置问题的逻辑
作者:
Markus Aschinger
;
Conrad Drescher
;
Heribert Vollmer
会议名称:
《20th European conference on artificial intelligence》
|
2012年
6.
Finding and Proving the Optimum: Cooperative Stochastic and Deterministic Search
机译:
寻找和证明最优:合作随机和确定性搜索
作者:
Jean-Marc Alliot
;
Nicolas Durand
;
David Gianazza
;
Jean-Baptiste Gotteland
会议名称:
《20th European conference on artificial intelligence》
|
2012年
7.
Markov Constraints for Generating Lyrics with Style
机译:
产生样式的歌词的马尔可夫约束
作者:
Gabriele Barbier
;
Francois Pachet
;
Pierre Roy
;
Mirko Degli Esposti
会议名称:
《20th European conference on artificial intelligence》
|
2012年
8.
An 0(n log n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization
机译:
变量和和与常数之间的全差和不等式的合取的0(n log n)界一致性算法及其推广
作者:
Nicolas Beldiceanu
;
Mats Carlsson
;
Thierry Petit
;
Jean-Charles Regin
会议名称:
《20th European conference on artificial intelligence》
|
2012年
9.
Combining Bootstrapping and Feature Selection for Improving a Distributional Thesaurus
机译:
结合自举和特征选择以改善分布式同义词库
作者:
Olivier Ferret
会议名称:
《20th European conference on artificial intelligence》
|
2012年
10.
Combining DRA and CYC into a Network Friendly Calculus
机译:
将DRA和CYC结合到网络友好的演算中
作者:
Malumbo Chipofya
会议名称:
《20th European conference on artificial intelligence》
|
2012年
11.
SAT vs. Search for Qualitative Temporal Reasoning
机译:
SAT与定性时间推理的搜索
作者:
Jinbo Huang
会议名称:
《20th European conference on artificial intelligence》
|
2012年
12.
Interval Temporal Logics over Finite Linear Orders: the Complete Picture
机译:
有限线性阶上的区间时间逻辑:完整图景
作者:
D. Bresolin
;
D. Delia Monica
;
A. Montanari
;
P. Sala
;
G. Sdavicco
会议名称:
《20th European conference on artificial intelligence》
|
2012年
13.
Implementing and Evaluating Provers for First-order Modal Logics
机译:
一阶模态逻辑的实现和评估证明
作者:
Christoph Benzmueller
;
Jens Otten
;
Thomas Raths
会议名称:
《20th European conference on artificial intelligence》
|
2012年
14.
Probabilistic Techniques for Mobile Robot Navigation
机译:
移动机器人导航的概率技术
作者:
Wolfram Burgard
会议名称:
《20th European conference on artificial intelligence》
|
2012年
15.
Developmental Mechanisms for Autonomous Life-Long Learning in Robots
机译:
机器人自主终身学习的发展机制
作者:
Pierre-Yves Oudeyer
会议名称:
《》
|
2012年
16.
When intelligence is just a matter of copying
机译:
当智力只是复制的问题时
作者:
William Correa
;
Henri Prade
;
Gilles Richard
会议名称:
《20th European conference on artificial intelligence》
|
2012年
17.
Towards a Complete Classical Music Companion
机译:
走向完整的古典音乐伴侣
作者:
Andreas Arzt
;
Gerhard Widmer
;
Sebastian Boeck
;
Reinhard Sonnleitner
;
Harald Frosted
会议名称:
《》
|
2012年
18.
Compression-based AODE Classifiers
机译:
基于压缩的AODE分类器
作者:
G. Corani
;
A. Antonucci
;
R. De Rosa
会议名称:
《20th European conference on artificial intelligence》
|
2012年
19.
Hard and Easy k-Typed Compact Coalitional Games: The Knowledge of Player Types Marks the Boundary
机译:
轻松简单的k型紧凑型联合游戏:玩家类型的知识标志着边界
作者:
Gianluigi Greco
;
Enrico Malizia
;
Francesco Scarcello
;
Luigi Palopoli
会议名称:
《20th European conference on artificial intelligence》
|
2012年
20.
Lifted Probabilistic Inference
机译:
提升概率推断
作者:
Kristian Kersting
会议名称:
《20th European conference on artificial intelligence》
|
2012年
21.
Efficient Reasoning in Multiagent Epistemic Logics
机译:
多主体认知逻辑中的有效推理
作者:
Gerhard Lakemeyer
;
Yves Lesperance
会议名称:
《20th European conference on artificial intelligence》
|
2012年
22.
A Path-Optimal GAC Algorithm for Table Constraints
机译:
表约束的路径最优GAC算法
作者:
Christophe Lecoutre
;
Chavalit Likitvivatanavong
;
Roland H. C. Yap
会议名称:
《20th European conference on artificial intelligence》
|
2012年
23.
Hybrid Possibilistic Conditioning for Revision under Weighted Inputs
机译:
加权输入下修正的混合可能条件
作者:
Salem Benferhat
;
Celia da Costa Pereira
;
Andrea G. B. Tettamanzi
会议名称:
《20th European conference on artificial intelligence》
|
2012年
24.
Planning as Quantified Boolean Formula
机译:
规划为量化布尔公式
作者:
Michael Cashmore
;
Maria Fox
;
Enrico Giunchiglia
会议名称:
《20th European conference on artificial intelligence》
|
2012年
25.
Ideal Point Guided Iterative Deepening
机译:
理想点引导迭代加深
作者:
J. Coego
;
L. Mandow
;
J.L. Perez de la Cruz
会议名称:
《20th European conference on artificial intelligence》
|
2012年
26.
Representing Value Functions with Recurrent Binary Decision Diagrams
机译:
用递归二元决策图表示值函数
作者:
Daniel Beck
;
Gerhard Lakemeyer
会议名称:
《20th European conference on artificial intelligence》
|
2012年
27.
A Probabilistic Semantics for Abstract Argumentation
机译:
抽象论证的概率语义
作者:
Matthias Thimm
会议名称:
《20th European conference on artificial intelligence》
|
2012年
28.
Deciding Membership in a Class of Polyhedra
机译:
确定一类多面体的成员资格
作者:
Salvatore Ruggieri
会议名称:
《20th European conference on artificial intelligence》
|
2012年
29.
A Ranking Semantics for First-Order Conditionals
机译:
一阶条件的排序语义
作者:
Gabriele Kern-Isberner
;
Matthias Thimm
会议名称:
《20th European conference on artificial intelligence》
|
2012年
30.
Updating inconsistent Description Logic knowledge bases
机译:
更新不一致的描述逻辑知识库
作者:
Maurizio Lenzerini
;
Domenico Fabio Savo
会议名称:
《20th European conference on artificial intelligence》
|
2012年
31.
Game-theoretic Approach to Adversarial Plan Recognition
机译:
对抗计划识别的博弈论方法
作者:
Viliam Lisy
;
Radek Pibil
;
Jan Stiborek
;
Branislav Bosansky
;
Michal Pechoucek
会议名称:
《20th European conference on artificial intelligence》
|
2012年
32.
Exploiting Expert Knowledge in Factored POMDPs
机译:
在因子POMDP中利用专家知识
作者:
Felix Mueller
;
Christian Spaeth
;
Thomas Geier
;
Susanne Biundo
会议名称:
《20th European conference on artificial intelligence》
|
2012年
33.
A Robust Approach to Addressing Human Adversaries in Security Games
机译:
解决安全游戏中人类对手的稳健方法
作者:
James Pita
;
Richard John
;
Rajiv Maheswaran
;
Milind Tambe
;
Sarit Kraus
会议名称:
《20th European conference on artificial intelligence》
|
2012年
34.
Maxi-Consistent Operators in Argumentation
机译:
引数中的极大一致算子
作者:
Srdjan Vesic
会议名称:
《20th European conference on artificial intelligence》
|
2012年
35.
Event Processing for Intelligent Resource Management
机译:
智能资源管理的事件处理
作者:
Alexander Artikis
;
Robin Marterer
;
Jens Pottebaum
;
Georgios Paliouras
会议名称:
《20th European conference on artificial intelligence》
|
2012年
36.
Cooperatives for Demand Side Management
机译:
需求方管理合作社
作者:
Ramachandra Kota
;
Georgios Chalkiadakis
;
Valentin Robu
;
Alex Rogers
;
Nicholas R. Jennings
会议名称:
《20th European conference on artificial intelligence》
|
2012年
37.
Practical Reformulations With Table Constraints
机译:
有表约束的实用公式
作者:
Olivier Lhomme
会议名称:
《20th European conference on artificial intelligence》
|
2012年
38.
Ontologising Semantic Relations into a Relationless Thesaurus
机译:
将语义关系本体化为无关系的词库
作者:
Hugo Goncalo Oliveira
;
Paulo Gomes
会议名称:
《20th European conference on artificial intelligence》
|
2012年
39.
Designing KDD-Workflows via HTN-Planning
机译:
通过HTN计划设计KDD工作流
作者:
Joerg-Uwe Kietz
;
Floarea Serban
;
Abraham Bernstein
;
Simon Fischer
会议名称:
《20th European conference on artificial intelligence》
|
2012年
40.
A Novel Way to Connect BnB-ADOPT~+ with Soft AC
机译:
连接BnB-ADOPT〜+与软AC的新方法
作者:
Patricia Gutierrez
;
Pedro Meseguer
会议名称:
《20th European conference on artificial intelligence》
|
2012年
41.
Controlling Candidate-Sequential Elections
机译:
控制候选人顺序选举
作者:
Edith Hemaspaandra
;
Lane A. Hemaspaandra
;
Joerg Rothe
会议名称:
《20th European conference on artificial intelligence》
|
2012年
42.
Probabilistic Path-Disruption Games
机译:
概率路径干扰游戏
作者:
Anja Rey
;
Joerg Rothe
会议名称:
《20th European conference on artificial intelligence》
|
2012年
43.
CAKES: Cross-lingual Wikipedia Knowledge Enrichment and Summarization
机译:
蛋糕:跨语言维基百科知识的丰富和总结
作者:
Valeria Fionda
;
Giuseppe Pirro
会议名称:
《20th European conference on artificial intelligence》
|
2012年
44.
A Bayesian Multiple Kernel Learning Framework for Single and Multiple Output Regression
机译:
用于单输出和多输出回归的贝叶斯多核学习框架
作者:
Mehmet Goenen
会议名称:
《20th European conference on artificial intelligence》
|
2012年
45.
Argumentation-Based Reinforcement Learning for RoboCup Soccer Keepaway
机译:
基于参数的强化学习,用于RoboCup足球比赛
作者:
Yang Gao
;
Francesca Toni
;
Robert Craven
会议名称:
《20th European conference on artificial intelligence》
|
2012年
46.
Hierarchical and Overlapping Co-Clustering of mRNA:miRNA Interactions
机译:
mRNA:miRNA相互作用的层次和重叠共同簇
作者:
Gianvito Pio
;
Michelangelo Ceci
;
Corrado Loglisci
;
Domenica DElia
;
Donato Malerba
会议名称:
《20th European conference on artificial intelligence》
|
2012年
47.
Preemption Operators
机译:
抢占运营商
作者:
Philippe Besnard
;
Eric Gregoire
;
Sebastien Ramon
会议名称:
《20th European conference on artificial intelligence》
|
2012年
48.
An Efficient and Adaptive Approach to Negotiation in Complex Environments
机译:
复杂环境中的高效自适应协商方法
作者:
Siqi Chen
;
Gerhard Weiss
会议名称:
《20th European conference on artificial intelligence》
|
2012年
49.
Improving Local Search for Random 3-SAT Using Quantitative Configuration Checking
机译:
使用定量配置检查改善随机3-SAT的本地搜索
作者:
Chuan Luo
;
Kaile Su
;
Shaowei Cai
会议名称:
《20th European conference on artificial intelligence》
|
2012年
50.
Width and Serialization of Classical Planning Problems
机译:
经典计划问题的宽度和序列化
作者:
Nir Lipovetzky
;
Hector Geffner
会议名称:
《20th European conference on artificial intelligence》
|
2012年
51.
Choosing Combinatorial Social Choice by Heuristic Search
机译:
通过启发式搜索选择组合社会选择
作者:
Minyi Li
;
Quoc Bao Vo
会议名称:
《20th European conference on artificial intelligence》
|
2012年
52.
An approach to multi-agent planning with incomplete information
机译:
信息不完整的多主体规划方法
作者:
Alejandro Torreno
;
Eva Onaindia
;
Oscar Sapena
会议名称:
《20th European conference on artificial intelligence》
|
2012年
53.
Joint Assessment and Restoration of Power Systems
机译:
电力系统联合评估与恢复
作者:
Pascal Van Hentenryck
;
Nabeel Gillani
;
Carleton Coffrin
会议名称:
《20th European conference on artificial intelligence》
|
2012年
54.
Propositional Planning as Optimization
机译:
命题计划作为优化
作者:
Andreas Sideris
;
Yannis Dimopoulos
会议名称:
《20th European conference on artificial intelligence》
|
2012年
55.
Approximation of Steiner Minimum Trees in Euclidean Planar Graphs Using Euclidian Steiner Minimum Trees
机译:
使用欧几里得斯坦纳最小树逼近欧氏平面图中斯坦纳最小树
作者:
Bjoern Zenker
会议名称:
《20th European conference on artificial intelligence》
|
2012年
56.
On Partitioning for Maximum Satisfiability
机译:
关于分区以实现最大满意度
作者:
Ruben Martins
;
Vasco Manquinho
;
Ines Lynce
会议名称:
《20th European conference on artificial intelligence》
|
2012年
57.
Speeding Up 2-way Number Partitioning
机译:
加快2路号码分区
作者:
Jesus Cerquides
;
Pedro Meseguer
会议名称:
《20th European conference on artificial intelligence》
|
2012年
58.
Advances in Distributed Branch and Bound
机译:
分布式分支和绑定的进展
作者:
Lars Otten
;
Rina Dechter
会议名称:
《20th European conference on artificial intelligence》
|
2012年
59.
Fair Division of Indivisible Goods under Risk
机译:
风险下不可分割货物的公平划分
作者:
Charles Lumet
;
Sylvain Bouveret
;
Michel Lemaitre
会议名称:
《20th European conference on artificial intelligence》
|
2012年
60.
Routing for Continuous Monitoring by Multiple Micro UAVs in Disaster Scenarios
机译:
在灾难情况下由多个微型无人机进行连续监视的路由
作者:
Vera Mersheeva
;
Gerhard Friedrich
会议名称:
《20th European conference on artificial intelligence》
|
2012年
61.
Reasoning for Agreement Technologies
机译:
协议技术推理
作者:
Guido Boella
;
Leendert van der Torre
会议名称:
《20th European conference on artificial intelligence》
|
2012年
62.
Implementation of Critical Path Heuristics for SAT
机译:
SAT关键路径启发式的实现
作者:
Jinbo Huang
会议名称:
《20th European conference on artificial intelligence》
|
2012年
63.
Partially Observable Markov Decision Process for Closed-Loop Anesthesia Control
机译:
闭环麻醉控制的部分可观察马尔可夫决策过程
作者:
Eddy C. Borera
;
Brett L. Moore
;
Larry D. Pyeatt
会议名称:
《20th European conference on artificial intelligence》
|
2012年
64.
POMDP-based online target detection and recognition for autonomous UAVs
机译:
基于POMDP的自主无人机在线目标检测与识别
作者:
Caroline P. Carvalho Chanel
;
Florent Teichteil-Koenigsbuch
;
Charles Lesire
会议名称:
《20th European conference on artificial intelligence》
|
2012年
65.
Wind speed forecasting using spatio-temporal indicators
机译:
利用时空指标预测风速
作者:
Orlando Ohashi
;
Luis Torgo
会议名称:
《20th European conference on artificial intelligence》
|
2012年
66.
WeMiT: Web-Mining for Translation
机译:
WeMiT:Web挖掘翻译
作者:
Mathieu Roche
;
Oana Mihaela Garbasevschi
会议名称:
《20th European conference on artificial intelligence》
|
2012年
67.
Training Crisis Managers with PANDORA
机译:
通过PANDORA培训危机管理人员
作者:
Liz Bacon
;
Amedeo Cesta
;
Luca Coraci
;
Gabriella Cortellessa
;
Riccardo De Benedictis
;
Sara Grilli
;
Jure Polutnik
;
Keith Strickland
会议名称:
《20th European conference on artificial intelligence》
|
2012年
68.
WantEat: interacting with social networks of smart objects for sharing cultural heritage and supporting sustainability
机译:
WantEat:与智能对象的社交网络进行交互以共享文化遗产并支持可持续性
作者:
L. Console
;
G. Biamino
;
F. Carmagnola
;
F. Cena
;
E. Chiabrando
;
R. Furnari
;
C. Gena
;
P. Grillo
;
S. Likavec
;
I. Lombardi
;
M. Mioli
;
C. Picardi
;
D. Theseider Dupre
;
F. Vernero
;
R. Simeoni
;
F. Antonelli
;
V. Cuciti
;
M. Demichelis
;
F. Franceschi
;
M. Geymonat
;
A. Marcengo
;
D. Mana
;
M
会议名称:
《20th European conference on artificial intelligence》
|
2012年
69.
Large-scale Parallel Stratified Defeasible Reasoning
机译:
大规模并行分层可推论推理
作者:
Ilias Tachmazidis
;
Grigoris Antoniou
;
Giorgos Flouris
;
Spyros Kotoulas
;
Lee McCluskey
会议名称:
《20th European conference on artificial intelligence》
|
2012年
70.
Path-Constrained Markov Decision Processes: bridging the gap between probabilistic model-checking and decision-theoretic planning
机译:
路径受限的马尔可夫决策过程:弥合概率模型检查与决策理论计划之间的差距
作者:
Florent Teichteil-Koenigsbuch
会议名称:
《20th European conference on artificial intelligence》
|
2012年
71.
Convex Solutions of RCC8 Networks
机译:
RCC8网络的凸解决方案
作者:
Steven Schockaert
;
Sanjiang Li
会议名称:
《20th European conference on artificial intelligence》
|
2012年
72.
Logic-based Benders Decomposition for Alternative Resource Scheduling with Sequence Dependent Setups
机译:
基于逻辑的Benders分解,用于依赖序列的设置的替代资源调度
作者:
Tony T. Tran
;
J. Christopher Beck
会议名称:
《20th European conference on artificial intelligence》
|
2012年
73.
WissKI: A Virtual Research Environment for Cultural Heritage
机译:
WissKI:文化遗产的虚拟研究环境
作者:
Martin Scholz
;
Guenther Goerz
会议名称:
《20th European conference on artificial intelligence》
|
2012年
74.
ArvandHerd: Parallel Planning with a Portfolio
机译:
ArvandHerd:带有项目组合的并行计划
作者:
Richard Valenzano
;
Hootan Nakhost
;
Martin Mueller
;
Jonathan Schaeffer
;
Nathan Sturtevant
会议名称:
《20th European conference on artificial intelligence》
|
2012年
75.
Multi-unit Auctions with a Stochastic Number of Asymmetric Bidders
机译:
具有不对称竞标者数量随机的多单位拍卖
作者:
Ioannis A. Vetsikas
;
Sebastian Stein
;
Nicholas R. Jennings
会议名称:
《20th European conference on artificial intelligence》
|
2012年
76.
Negotiating Concurrently with Unknown Opponents in Complex, Real-Time Domains
机译:
同时与复杂实时域中的未知对手进行协商
作者:
Colin R. Williams
;
Valentin Robu
;
Enrico H. Gerding
;
Nicholas R. Jennings
会议名称:
《20th European conference on artificial intelligence》
|
2012年
77.
Sample-Based Policy Iteration for Constrained DEC-POMDPs
机译:
约束DEC-POMDP的基于样本的策略迭代
作者:
Feng Wu
;
Nicholas R. Jennings
;
Xiaoping Chen
会议名称:
《20th European conference on artificial intelligence》
|
2012年
78.
Creating Features from a Learned Grammar in a Simulated Student
机译:
从模拟学生的学习语法中创建特征
作者:
Nan Li
;
Abraham Schreiber
;
William W. Cohen
;
Kenneth R. Koedinger
会议名称:
《20th European conference on artificial intelligence》
|
2012年
79.
Almost-truthful Mechanisms for Fair Social Choice Functions
机译:
公平的社会选择功能的几乎真实的机制
作者:
Julien Lesca
;
Patrice Perny
会议名称:
《20th European conference on artificial intelligence》
|
2012年
80.
Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction
机译:
这里,那里,但不是到处:定性约束满意度的扩展框架
作者:
Weiming Liu
;
Sanjiang Li
会议名称:
《20th European conference on artificial intelligence》
|
2012年
81.
A New Approach to the Snake-In-The-Box Problem
机译:
解决盒中蛇问题的新方法
作者:
David Kinny
会议名称:
《20th European conference on artificial intelligence》
|
2012年
82.
Characterization of Positive and Negative Information in Comparative Preference Representation
机译:
比较偏好表示法中正负信息的表征
作者:
Souhila Kaci
会议名称:
《20th European conference on artificial intelligence》
|
2012年
83.
Strategic and Epistemic Reasoning for the Game Description Language GDL-II
机译:
游戏描述语言GDL-II的战略和认知推理
作者:
Ji Ruan
;
Michael Thielscher
会议名称:
《20th European conference on artificial intelligence》
|
2012年
84.
Computational Creativity: The Final Frontier?
机译:
计算创造力:最前沿?
作者:
Simon Colton
;
Geraint A. Wiggins
会议名称:
《20th European conference on artificial intelligence》
|
2012年
85.
Process Discovery via Precedence Constraints
机译:
通过优先约束发现流程
作者:
Gianluigi Greco
;
Antonella Guzzo
;
Luigi Pontieri
会议名称:
《20th European conference on artificial intelligence》
|
2012年
86.
Mo.Di.Bot - Mobile Diagnostic Robot
机译:
Mo.Di.Bot-移动诊断机器人
作者:
Cristina Cristalli
;
Giacomo Angione
;
Luca Lattanzi
;
Birgit Graf
;
Florian Weisshardt
;
Georg Arbeiter
会议名称:
《20th European conference on artificial intelligence》
|
2012年
87.
Autonomous construction with a mobile robot in a resource-limited environment: a demonstration of the integration of perception, planning and action
机译:
在资源有限的环境中使用移动机器人进行自主施工:感知,计划和行动集成的演示
作者:
Stephane Magnenat
;
Alexey Gribovskiy
;
Francesco Mondada
会议名称:
《20th European conference on artificial intelligence》
|
2012年
88.
Planning with Semantic Attachments: An Object-Oriented View
机译:
带有语义附件的规划:面向对象的视图
作者:
Andreas Hertle
;
Christian Dornhege
;
Thomas Keller
;
Bernhard Nebel
会议名称:
《20th European conference on artificial intelligence》
|
2012年
89.
Spectrum Enhanced Dynamic Slicing for better Fault Localization
机译:
频谱增强型动态切片可更好地定位故障
作者:
Birgit Hofer
;
Franz Wotawa
会议名称:
《20th European conference on artificial intelligence》
|
2012年
90.
Symmetries in Itemset Mining
机译:
项目集挖掘中的对称性
作者:
Said Jabbour
;
Lakhdar Sais
;
Yakoub Salhi
;
Karim Tabia
会议名称:
《20th European conference on artificial intelligence》
|
2012年
91.
Concepts, Agents, and Coalitions in Alternating Time
机译:
交替时间中的概念,代理和联盟
作者:
Wojciech Jamroga
会议名称:
《20th European conference on artificial intelligence》
|
2012年
92.
Towards Generalizing the Success of Monte-Carlo Tree Search beyond the Game of Go
机译:
超越“围棋”,推广蒙特卡罗树搜索的成功
作者:
Antonio Gusmao
;
Tapani Raiko
会议名称:
《20th European conference on artificial intelligence》
|
2012年
93.
Large-scale Interactive Ontology Matching: Algorithms and Implementation
机译:
大规模交互式本体匹配:算法与实现
作者:
Ernesto Jimenez-Ruiz
;
Bernardo Cuenca Grau
;
Yujiao Zhou
;
Ian Horrocks
会议名称:
《20th European conference on artificial intelligence》
|
2012年
94.
Agent Strategies for ABA-based Information-seeking and Inquiry Dialogues
机译:
基于ABA的信息搜索和查询对话的代理策略
作者:
Xiuyi Fan
;
Francesca Toni
会议名称:
《20th European conference on artificial intelligence》
|
2012年
95.
Combining Voting Rules Together
机译:
合并投票规则
作者:
Nina Narodytska
;
Toby Walsh
;
Lirong Xia
会议名称:
《20th European conference on artificial intelligence》
|
2012年
96.
Extending Set-based Dualization: Application to Pattern Mining
机译:
扩展基于集合的二元化:在模式挖掘中的应用
作者:
Lhouari Nourine
;
Jean-Marc Petit
会议名称:
《20th European conference on artificial intelligence》
|
2012年
97.
Nearness Rules and Scaled Proximity
机译:
邻近性规则和缩放的接近度
作者:
OEzguer L. OEcep
;
Rolf Gruetter
;
Ralf Moeller
会议名称:
《20th European conference on artificial intelligence》
|
2012年
98.
Guiding User Choice During Discussion by Silence, Examples and Justifications
机译:
在讨论中通过沉默,示例和理由指导用户选择
作者:
Maier Fenster
;
Inon Zuckerman
;
Sarit Kraus
会议名称:
《20th European conference on artificial intelligence》
|
2012年
99.
Symbolic A* Search with Pattern Databases and the Merge-and-Shrink Abstraction
机译:
模式数据库和合并和收缩抽象的符号A *搜索
作者:
Stefan Edelkamp
;
Peter Kissmann
;
Alvaro Torralba
会议名称:
《20th European conference on artificial intelligence》
|
2012年
100.
An Anytime Algorithm for Finding the ∈-Core in Nontransferable Utility Coalitional Games
机译:
不可转移效用联盟博弈中随时找到ε-核心的算法
作者:
Greg Hines
;
Talal Rahwan
;
Nicholas R. Jennings
会议名称:
《20th European conference on artificial intelligence》
|
2012年
上一页
1
2
下一页
意见反馈
回到顶部
回到首页