掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Conference on Tools with Artificial Intelligence
International Conference on Tools with Artificial Intelligence
召开年:
2013
召开地:
Washington, DC(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A Natural Language Processing and Semantic-Based System for Contract Analysis
机译:
基于自然语言处理和基于语义的合同分析系统
作者:
Yang Dan
;
Leber Christina
;
Tari Luis
;
Chandramouli Aravind more authors
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Natural language processing;
contract analysis;
information extraction;
information retrieval;
semantics;
2.
Abstract Debates
机译:
抽象辩论
作者:
Croitoru Cosmina
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
abstract debate;
argumentation framework;
argumentative semantics;
social reasoning;
3.
Generating Memoryless Policies Faster Using Automatic Temporal Abstractions for Reinforcement Learning with Hidden State
机译:
使用自动时间抽象在隐藏状态的强化学习中更快地生成无记忆策略
作者:
Cilden Erkin
;
Polat Faruk
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
extended sequence tree;
hidden state;
learning abstractions;
reinforcement learning;
4.
Semi-automatic Dictionary Curation for Domain-Specific Ontologies
机译:
特定领域本体的半自动词典管理
作者:
Kulkarni Ashish
;
Gavankar Chetana
;
Ramakrishnan Ganesh
;
Raghavan Sriram
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
dictionary curation;
information extraction;
ontology population;
5.
TM-Gen: A Topic Map Generator from Text Documents
机译:
TM-Gen:文本文档中的主题图生成器
作者:
Garrido Angel Luis
;
Buey Maria G.
;
Escudero Sandra
;
Ilarri Sergio more authors
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Knowledge acquisition;
Linguistics;
Ontologies;
Semantics;
Text mining;
Topic maps;
6.
Information Extraction from the Web: An Ontology-Based Method Using Inductive Logic Programming
机译:
Web上的信息提取:使用归纳逻辑编程的基于本体的方法
作者:
Lima Rinaldo
;
Espinasse Bernard
;
Oliveira Hilario
;
Pentagrossa Laura more authors
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Inductive Logic Programming;
Ontology Population;
Ontology-based Information Extraction;
7.
Knowledge-Guided Methodology for Specification Analysis
机译:
知识指导的规范分析方法
作者:
Singh Bhanu
;
Shankar Arunprasath
;
Shiyanovskii Yuriy
;
Wolff Francis more authors
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Expert systems;
Knowledge base;
Ontology;
Soft-IP;
Specification analysis;
8.
From Natural Language Requirements to Formal Specification Using an Ontology
机译:
从自然语言要求到使用本体的形式规范
作者:
Sadoun Driss
;
Dubois Catherine
;
Ghamri-Doudane Yacine
;
Grau Brigitte
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Knowledge representation;
Ontology population;
Ontology reasoning;
Requirement specification;
9.
Ontology Learning from Incomplete Semantic Web Data by BelNet
机译:
BelNet从不完整语义Web数据中进行本体学习
作者:
Zhu Man
;
Gao Zhiqiang
;
Pan Jeff Z.
;
Zhao Yuting more authors
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
ontology learning;
probabilistic graphical model;
semantic web;
10.
ESmodels: An Inference Engine of Epistemic Specifications
机译:
ESmodels:认知规范的推理引擎
作者:
Zhang Zhizheng
;
Zhao Kaikai
;
Cui Rongcun
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Answer Set Programming;
Epistemic Specification;
Knowledge Representation;
11.
A Reusable Methodology for the Instantiation of Social Recommender Systems
机译:
实例化社会推荐系统的可重用方法
作者:
Quijano-Sanchez Lara
;
Recio-Garcia Juan A.
;
Diaz-Agudo Belen
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Generic Architecture;
Social recommenders;
Templates;
12.
Improving Music Recommendation in Session-Based Collaborative Filtering by Using Temporal Context
机译:
使用时间上下文在基于会话的协作过滤中改进音乐推荐
作者:
Dias Ricardo
;
Fonseca Manuel J.
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Collaborative Filtering;
Listening Sessions;
Music Recommendation;
Temporal Context;
13.
On the Development of Voter Transition Models for Social Choice Markov Decision Processes
机译:
社会选择马尔可夫决策过程的选民过渡模型的发展
作者:
Garcia David
;
Riedl Anton
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Dynamic Social Choice;
Social Choice Markov Decision Processes;
Voter Transition Models;
14.
Kaczmarz Algorithm with Soft Constraints for User Interface Layout
机译:
用户界面布局的具有软约束的Kaczmarz算法
作者:
Jamil Noreen
;
Needell Deanna
;
Muller Johannes
;
Lutteroth Christof more authors
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Inequalities;
Kaczmarz algorithm;
Soft constraints;
UI layout;
15.
Optimization of Traffic Lights Timing Based on Multiple Neural Networks
机译:
基于多神经网络的交通信号灯时序优化
作者:
Oliveira Michel B.W.De
;
Neto Areolino De Almeida
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
adaptive control;
multiple neural networks;
traffic lights;
16.
Using Evolution Strategies to Reduce Emergency Services Arrival Time in Case of Accident
机译:
使用进化策略减少事故发生时紧急服务的到达时间
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Evolution Strategies;
Traffic Accidents Assistance;
Vehicular Networks;
17.
Motion-Driven Action-Based Planning
机译:
基于动作驱动的行动计划
作者:
Ellenberger Brandon
;
Mali Amol D.
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Integrated Planning;
Motion Planning;
Optimal Planning;
Task Planning;
18.
CPP-SNS: A Solution to Influence Maximization Problem under Cost Control
机译:
CPP-SNS:一种在成本控制下影响最大化问题的解决方案
作者:
Zhan Qianyi
;
Yang Hongchao
;
Wang Chongjun
;
Xie Junyuan
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
cost control;
influence maximization;
social network;
viral marketing;
19.
A Versatile Graph-Based Approach to Package Recommendation
机译:
基于多功能图的包装推荐方法
作者:
Interdonato Roberto
;
Romeo Salvatore
;
Tagarelli Andrea
;
Karypis George
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
20.
Relaxing the Relaxed Exist-Step Parallel Planning Semantics
机译:
放宽现有的并行规划语义
作者:
Balyo Toma
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
SAS;
encoding;
exist-step;
satisfiability;
21.
Perpetual Learning through Overcoming Inconsistencies
机译:
通过克服矛盾进行永久学习
作者:
Zhang Du
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
inconsistencies;
inconsistency-induced learning;
learning stimuli;
perpetual learning;
22.
Change Your Belief about Belief Change
机译:
改变关于信念改变的信念
作者:
Gregoire Eric
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Artificial Intelligence;
Belief Change;
Belief revision;
Knowledge Fusion;
Preemption;
23.
Comparison of Two Frameworks for Measuring the Stability of Gene-Selection Techniques on Noisy Class-Imbalanced Data
机译:
两种衡量嘈杂类不平衡数据基因选择技术稳定性的框架的比较
作者:
Wald Randall
;
Khoshgoftaar Taghi M.
;
Shanab And Ahmad Abu
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
24.
Modeling Natural Language Sentences into SPN Graphs
机译:
将自然语言句子建模为SPN图
作者:
Mills M.
;
Psarologou A.
;
Bourbakis N.
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Graphs;
Natural language understanding;
SPN graphs;
natural language processing;
25.
Capturing Structure in Hard Combinatorial Problems
机译:
捕获硬组合问题中的结构
作者:
Szeider Stefan
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
26.
Constraint Programming in Compiler Optimization: Lessons Learned
机译:
编译器优化中的约束编程:经验教训
作者:
Beek Peter Van
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
constraint programming;
constraint solving;
instruction scheduling;
instruction selection;
27.
Adaptive Constructive Interval Disjunction
机译:
自适应构造间隔析取
作者:
Neveu Bertrand
;
Trombettoni Gilles
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
adaptive parameter tuning;
interval constraint programming;
28.
Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms
机译:
图自同构搜索中的冲突分析和分支启发法
作者:
Codenotti Paolo
;
Katebi Hadi
;
Sakallah Karem A.
;
Markov Igor L.
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
29.
Solving WCSP by Extraction of Minimal Unsatisfiable Cores
机译:
通过提取最少的不满足核心来解决WCSP
作者:
Lecoutre Christophe
;
Paris Nicolas
;
Roussel Olivier
;
Tabary Sebastien
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
30.
Questioning the Importance of WCORE-Like Minimization Steps in MUC-Finding Algorithms
机译:
质疑MUC查找算法中类似WCORE的最小化步骤的重要性
作者:
Gregoire Eric
;
Lagniez Jean-Marie
;
Mazure Bertrand
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
CSP;
MUC;
constraint networks;
unsatisfiability;
31.
Model-Guided Approaches for MaxSAT Solving
机译:
MaxSAT解决的模型指导方法
作者:
Morgado Antonio
;
Heras Federico
;
Marques-Silva Joao
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
32.
Combining MaxSAT Reasoning and Incremental Upper Bound for the Maximum Clique Problem
机译:
将MaxSAT推理和增量上限结合起来以解决最大集团问题
作者:
Li Chu-Min
;
Fang Zhiwen
;
Xu Ke
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Incremental Upper Bound;
MaxClique;
MaxSAT;
33.
A Hybrid Tractable Class for Non-binary CSPs
机译:
非二进制CSP的混合可实践类
作者:
Mouelhi Achref El
;
Jegou Philippe
;
Terrioux Cyril
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Broken-Triangle Property;
Constraint Satisfaction Problems;
Tractable classes;
34.
Solving E-Squaro through SAT-Coding
机译:
通过SAT编码解决E-Squaro
作者:
Gregoire Eric
;
Hasni Atef
;
Mazure Bertrand
;
Piette Cedric
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
NP-complete problems;
SAT solving;
SquarO;
35.
Constraint Games: Framework and Local Search Solver
机译:
约束游戏:框架和本地搜索求解器
作者:
Nguyen Thi-Van-Anh
;
Lallouet Arnaud
;
Bordeaux Lucas
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Constraint Programming;
Game theory;
Nash Equilibria;
36.
Variable Objective Large Neighborhood Search: A Practical Approach to Solve Over-Constrained Problems
机译:
可变目标大邻域搜索:一种解决过度约束问题的实用方法
作者:
Schaus Pierre
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
constraint programming;
large neighborhood search;
over-constrained problems;
sum objective;
37.
A General Privacy Loss Aggregation Framework for Distributed Constraint Reasoning
机译:
分布式约束推理的通用隐私丢失聚合框架
作者:
Lee Jimmy H.M.
;
Mak Terrence W.K.
;
Shi Yuxiang
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Distributed reasoning;
aggregation axiom;
privacy loss;
38.
On-the-Fly Lazy Clause Simplification Based on Binary Resolvents
机译:
基于二元溶剂的动态懒子句简化
作者:
Nabeshima Hidetomo
;
Iwanuma Koji
;
Inoue Katsumi
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
CDCL solvers;
SAT;
hyper binary resolution;
on-the-fly simplification;
probing;
self-subsuming resolution;
39.
Declarative Heuristics in Constraint Satisfaction
机译:
约束满足中的声明式启发式
作者:
Teppan Erich Christian
;
Friedrich Gerhard
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
constraint satisfaction problems;
declarative heuristics;
heuristic search;
40.
More Smear-Based Variable Selection Heuristics for NCSPs
机译:
针对NCSP的更多基于涂片的变量选择启发式
作者:
Araya Ignacio
;
Reyes Victor
;
Oreallana Cristian
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
fail-first;
interval-based solvers;
numerical CSP;
variable selection;
41.
Lazy Branching for Constraint Satisfaction
机译:
约束满足的懒惰分支
作者:
Mehta Deepak
;
OSullivan Barry
;
Kotthoff Lars
;
Malitsky Yuri
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Branching Schemes;
Constraint Satisfaction Problems;
Search;
42.
Compiling Pseudo-Boolean Constraints to SAT with Order Encoding
机译:
使用订单编码将伪布尔约束编译为SAT
作者:
Tamura Naoyuki
;
Banbara Mutsunori
;
Soh Takehide
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Order encoding;
Pseudo-Boolean constraints;
SAT encoding;
43.
Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT
机译:
分层混合编码在CSP向SAT高效转换中的应用
作者:
Nguyen Van-Hau
;
Velev Miroslav N.
;
Barahona Pedro
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Boolean Satisfiability;
CSP;
SAT;
SAT encoding;
hierarchical hybrid encodings;
translation of CSP to SAT;
44.
Bounded Strings for Constraint Programming
机译:
约束编程的有界字符串
作者:
Scott Joseph D.
;
Flener Pierre
;
Pearson Justin
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
constraint programming;
string constraints;
45.
A CSP Approach for Metamodel Instantiation
机译:
元模型实例化的CSP方法
作者:
Ferdjoukh Adel
;
Baert Anne-Elisabeth
;
Chateau Annie
;
Coletta Remi more authors
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
CSP;
Metamodel;
Model Driven Engineering;
46.
A Constraint Programming Approach to the Additional Relay Placement Problem in Wireless Sensor Networks
机译:
无线传感器网络中附加继电器放置问题的约束编程方法
作者:
Quesada Luis
;
Brown Kenneth N.
;
OSullivan Barry
;
Sitanayah Lanny more authors
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Constraint optimisation problems;
network deployment planning;
network robustness;
relay placement;
wireless sensor networks;
47.
A Filtering Algorithm for Constrained Clustering with Within-Cluster Sum of Dissimilarities Criterion
机译:
集群内相异度和准则的约束聚类过滤算法
作者:
Dao Thi-Bich-Hanh
;
Duong Khanh-Chuong
;
Vrain Christel
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Constrained clustering;
filtering algorithm;
modeling;
48.
Model Expansion in the Presence of Function Symbols Using Constraint Programming
机译:
使用约束编程在功能符号存在下的模型扩展
作者:
Cat Broes De
;
Bogaerts Bart
;
Devriendt Jo
;
Denecker Marc
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
Constraint Programming;
Grounding;
Knowledge Representation;
Model Expansion;
49.
Generation of Implied Constraints for Automaton-Induced Decompositions
机译:
自动机诱导分解的隐含约束的生成
作者:
Rodriguez Maria Andreina Francisco
;
Flener Pierre
;
Pearson Justin
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2013年
关键词:
automata;
constraint programming;
generalised arc consistency;
global constraints;
implied constraints;
invariants;
50.
An End-to-End Configuration-Based Framework for Automatic SWS Composition
机译:
基于端到端配置的自动SWS组成框架
作者:
Albert Patrick
;
Henocque Laurent
;
Kleiner Mathias
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Configuration;
Constraints;
Ontologies;
Sematic Web Services Composition;
Workflows;
51.
XONTO: An Ontology-Based System for Semantic Information Extraction from PDF Documents
机译:
Xonto:基于本体的基于本体的语义信息提取系统,来自PDF文档
作者:
Oro Ermelinda
;
Ruffolo Massimo
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Information Extraction;
Knowledge representation and reasoning;
PDF format;
attribute grammars;
ontology;
52.
Moving Sensor Video Image Processing Enhanced with Elimination of Ego Motion by Global Registration and SIFT
机译:
通过全球注册和筛选,通过消除自我运动来增强传感器视频图像处理
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Registration;
SIFT;
Video Stabilization;
53.
Semantic-Based Access Control for Grid Data Resources in Open Grid Services Architecture - Data Access and Integration (OGSA-DAI)
机译:
开放网格服务架构中的网格数据资源基于语义的访问控制 - 数据访问与集成(OGSA-DAI)
作者:
Muppavarapu Vineela
;
Chung Soon M.
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Data Grid;
OGSA-DAI;
OWL;
Semantic-based access control;
XACML;
54.
A Comparative Study of Machine Learning Techniques for Caries Prediction
机译:
机器学习技术对龋齿预测的比较研究
作者:
Montenegro Robson D.
;
Oliveira Adriano L. I.
;
Cabral George G.
;
Katz Cintia R. T.
;
Rosenblatt Aronita
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Machine learning;
caries;
classifiers;
odontology;
55.
Sub-class Recognition from Aggregate Class Labels: Preliminary Results
机译:
汇总类标签的子类识别:初步结果
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
EM;
GMM;
Remote Sensing;
56.
Oracle Clustering: Dynamic Partitioning Based on Random Observations
机译:
Oracle群集:基于随机观察的动态分区
作者:
Zafarani Reza
;
Ghorbani Ali A.
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Clustering;
Dynamic Clustering;
Oracle Clustering;
Stability;
57.
Neural Network Language Models for Translation with Limited Data
机译:
具有有限数据的翻译神经网络语言模型
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
continous space language model;
language models;
machine translation;
neural networks;
58.
Marginal Calibration in Multi-agent Probabilistic Systems
机译:
多代理概率系统中的边缘校准
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
59.
A Lattice-Based Model for Recommender Systems
机译:
基于格子的推荐系统模型
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Collaborative Filtering;
Lattice;
Recommender Systems;
60.
Knee Point Detection on Bayesian Information Criterion
机译:
贝叶斯信息标准对膝盖点检测
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
61.
A Fuzzy Logic Approach to Case Matching and Retrieval Suitable to SQL Implementation
机译:
一种适用于SQL实现的模糊逻辑方法匹配和检索
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Case Retrieval;
Case-Based Reasoning;
Fuzzy Logic;
Fuzzy SQL;
62.
Integrating YAGO into the Suggested Upper Merged Ontology
机译:
将亚加整合到建议的上部合并本体中
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
SUMO;
YAGO;
ontology;
ontology merging;
63.
A General Technique for Plan Repair
机译:
计划修复一般技术
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
plan repair;
planning;
replanning;
64.
Handwritten Digit Segmentation in Images of Historical Documents with One-Class Classifiers
机译:
手写的数字分割在与单级分类器的历史文档的图像中
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
handwritten segmentation;
one-class classifiers;
65.
Real-Time Approach for Adaptive Object Segmentation in Time-of-Flight Sensors
机译:
飞行时间传感器中自适应对象分割的实时方法
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
3D Object Tracking;
Depth Segmentation;
Depth Sensing;
Time-of-Flight Sensor;
66.
GeoDialogue: A Software Agent Enabling Collaborative Dialogues between a User and a Conversational GIS
机译:
GeoDialogue:一种软件代理,在用户和会话GIS之间启用协作对话
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Agent-based model;
Collaborative dialogues;
Software agent;
conversational GIS;
human-computer interaction;
67.
A Hybrid Self-Organizing Model for Sequence Analysis
机译:
序列分析混合自组织模型
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
68.
Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription
机译:
用于查找特征订阅的最佳放松的一致性技术
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Constraint Programming;
Global Constraints;
Internet Telephony;
69.
Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription
机译:
用于查找特征订阅的最佳放松的一致性技术
作者:
Lesaint David
;
Mehta Deepak
;
OSullivan Barry
;
Quesada Luis
;
Wilson Nic
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Constraint Programming;
Global Constraints;
Internet Telephony;
70.
Robust Speaker Identification Using Greedy Kernel PCA
机译:
使用贪婪内核PCA的强大扬声器识别
作者:
Kim Min-Seok
;
Yang Il-Ho
;
Yu Ha-Jin
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
GKPCA;
greedy kernel principal component analysis;
speaker identification;
speaker recognition;
71.
Constraint-Based Placement and Routing for FPGAs Using Self-Organizing Maps
机译:
使用自组织地图的基于约束的展示位置和FPGA的路由
作者:
Maniatakos Michail
;
Xu Songhua
;
Miranker Willard L.
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
FPGA;
constraints;
placement;
routing;
self-organizing feature map;
72.
Real-Time Classification of Streaming Sensor Data
机译:
流传感器数据的实时分类
作者:
Kasetty Shashwati
;
Stafford Candice
;
Walker Gregory P.
;
Wang Xiaoyue
;
Keogh Eamonn
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
73.
Recognition of Neonatal Facial Expressions of Acute Pain Using Boosted Gabor Features
机译:
使用提升的Gabor特征识别急性疼痛的新生儿表达
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
AdaBoost;
Feature Selection;
Float Search;
Neonatal pain recognition;
74.
Attribute Value Taxonomy Generation through Matrix Based Adaptive Genetic Algorithm
机译:
基于矩阵自适应遗传算法的属性值分类生成
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
adaptive genetic algorithm;
attribute value taxonomy;
mutation and crossover matrices;
75.
A Hybrid Self-Organizing Model for Sequence Analysis
机译:
序列分析混合自组织模型
作者:
Ferles Christos
;
Stafylopatis Andreas
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
76.
A New Method for Computing Suitable Tree-Decompositions with Respect to Structured CSP Solving
机译:
用于计算结构化CSP求解的合适树分解的新方法
作者:
#x0E9
;
Pinto C
;
dric
;
Terrioux Cyril
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
constraint satifaction;
structural methods;
77.
Introducing Affect into Competitive Game Play
机译:
引入竞争游戏的影响
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
affect;
anti-tit-for-tat;
consciousness;
stock trading;
tit-for-two-tat;
78.
Contourlet Based Interest Points Detector
机译:
基于Contourlet的兴趣点检测器
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Interest point detection;
corner detector;
local features;
nonsubsampled contourlet transform (NSCT);
79.
An Intelligent Tutoring System for Training and Learning in a Virtual Environment for High-Risk Sites
机译:
用于高风险场所的虚拟环境中的培训和学习智能辅导系统
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
80.
Adding Flexibility to Russian Doll Search
机译:
为俄罗斯娃娃搜索添加灵活性
作者:
Razgon Margarita
;
Provan Gregory M.
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Maintaining Directed Arc-Consistency;
Russian Doll Search;
Weighted Constraint Satisfaction Problem;
81.
Extracting Non-redundant Approximate Rules from Multi-level Datasets
机译:
从多级数据集中提取非冗余近似规则
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
association rule mining;
multi-level datasets;
non-redundant;
82.
TLP-GP: New Results on Temporally-Expressive Planning Benchmarks
机译:
TLP-GP:在时间表现力规划基准上的新结果
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
DTP;
PDDL;
Planning;
Temporal;
83.
Image Characterization via Multilayer Neural Networks
机译:
通过多层神经网络的图像特征
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
84.
A Multimodal Interaction Scheme between a Blind User and the Tyflos Assistive Prototype
机译:
盲用户与Tyflos辅助原型之间的多模式交互方案
作者:
Bourbakis Nikolaos
;
Keefer Robert
;
Dakopoulos Dimitrios
;
Esposito Anna
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Blind's navigation;
Blind's reader;
Human assistive devices interaction;
Wearable systems;
haptic and speech interface;
multimodal modeling;
stochastic Petri-net modeling;
85.
Let the Solver Deal with Redundancy
机译:
让Solver处理冗余
作者:
Piette C
;
dric
;
#x0E9
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
SAT;
redundancy management;
86.
Constraint-Based Placement and Routing for FPGAs Using Self-Organizing Maps
机译:
使用自组织地图的基于约束的展示位置和FPGA的路由
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
FPGA;
constraints;
placement;
routing;
self-organizing feature map;
87.
Improving the Performance of Interactive Configuration with Regular String Constraints
机译:
具有常规字符串约束的交互式配置的性能
作者:
Hansen Esben Rune
;
Tiedemann Peter
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Constraint Programming;
Decision Support;
Regular Languages;
88.
An Intelligent Tutoring System for Training and Learning in a Virtual Environment for High-Risk Sites
机译:
用于高风险场所的虚拟环境中的培训和学习智能辅导系统
作者:
Amokrane Kahina
;
Lourdeaux Domitile
;
Barth
;
s Jean-Paul
;
Burkhardt Jean-Marie
;
#x0E8
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
89.
Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured Problems
机译:
扩展到软,偏好约束一个框架,用于解决有效结构的问题
作者:
Ndiaye Samba Ndojh
;
J
;
gou Philippe
;
Terrioux Cyril
;
#x0E9
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Constraint optimization;
structural methods;
90.
A New Approach to Automated Epileptic Diagnosis Using EEG and Probabilistic Neural Network
机译:
脑电图和概率神经网络自动癫痫诊断的新方法
作者:
Bao Forrest Sheng
;
Lie Donald Yu-Chun
;
Zhang Yuanlin
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Electroencephalogram (EEG);
Epilepsy;
Probabilistic Neural Network (PNN);
seizure;
91.
Face Recognition Using a Color Subspace LDA Approach
机译:
使用彩色子空间LDA方法的人脸识别
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Color Space;
Face Recognition;
Linear Discriminant Analysis;
92.
Online Structured Learning for Semantic Parsing with Synchronous and lambda-Synchronous Context Free Grammars
机译:
在线结构化学习语义解析同步和λ同步上下文自由语法
作者:
Nguyen Le-Minh
;
Shimazu Akira
;
Phan Xuan Hieu
;
Nguyen Phuong Thai
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
93.
Policy Gradient Semi-markov Decision Process
机译:
政策梯度半马尔可夫决策过程
作者:
Vien Ngo Anh
;
Chung TaeChoong
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
94.
Synthesis of Relational Web Services Based on SCDL
机译:
基于SCDL的关系Web服务综合
作者:
Gong Haitao
;
Wang Shu
;
Wang Qi
;
Sheu Philip
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
SCDL;
relational services;
web service composition;
95.
A Speaker Independent Approach to the Classification of Emotional Vocal Expressions
机译:
演讲者独立的情绪声音分类方法
作者:
Atassi Hicham
;
Esposito Anna
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
96.
Discovering Program's Behavioral Patterns by Inferring Graph-Grammars from Execution Traces
机译:
通过从执行迹线推断图形语法来发现程序的行为模式
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Graph-grammar Induction;
Program Execution;
97.
iMASS: Computational NRF Spectra Signal from Geant4
机译:
imass:来自geant4的计算NRF光谱信号
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
98.
Haplotype Inference with Boolean Constraint Solving: An Overview
机译:
单倍型推断与布尔约束求解:概述
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Boolean Constraint Solving;
Haplotype Inference;
99.
Solving Temporal Constraint Satisfaction Problems with Heuristic Based Evolutionary Algorithms
机译:
求解基于启发式的进化算法的时间约束满足问题
作者:
Jashmi Bahareh Jafari
;
Mouhoub Malek
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
关键词:
Constraint Satisfaction;
Genetic Algorithms;
Temporal Reasoning;
100.
Message from the General Chairs - Volume 1
机译:
一般椅子的信息 - 第1卷
会议名称:
《International Conference on Tools with Artificial Intelligence》
|
2008年
意见反馈
回到顶部
回到首页