![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
20th ICTAI 2008: Dayton, Ohio, USA
- 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1. IEEE Computer Society 2008, ISBN 978-0-7695-3440-4
- Esben Rune Hansen, Peter Tiedemann:
Improving the Performance of Interactive Configuration with Regular String Constraints. 3-10 - Steve Dworschak, Torsten Grote, Arne König, Torsten Schaub
, Philippe Veber:
The System BioC for Reasoning about Biological Models in Action Language C. 11-18 - Tarik Hadzic, Esben Rune Hansen, Barry O'Sullivan
:
Layer Compression in Decision Diagrams. 19-26 - Ramzi Ben Larbi, Sébastien Konieczny
, Pierre Marquis:
A Model for Multiple Outcomes Games. 27-34 - Yixin Chen, Dong Hua, Fang Liu:
Dominance of Bayesian Networks and Efficient Learning of Generalized Latent Class Models. 37-44 - Sharath R. Cholleti, Sally A. Goldman, Avrim Blum, David G. Politte, Steven Don:
Veritas: Combining Expert Opinions without Labeled Data. 45-52 - Saikat Mukherjee, Dmitriy Fradkin, Michael Roth:
Classifying Spend Descriptions with Off-the-Shelf Learning Components. 53-60 - Ranga Raju Vatsavai, Shashi Shekhar, Budhendra L. Bhaduri:
Sub-class Recognition from Aggregate Class Labels: Preliminary Results. 61-64 - Cédric Piette:
Let the Solver Deal with Redundancy. 67-73 - Éric Grégoire, Bertrand Mazure, Cédric Piette:
On Approaches to Explaining Infeasibility of Sets of Boolean Clauses. 74-83 - Richard Ostrowski, Lionel Paris:
From XSAT to SAT by Exhibiting Equivalencies. 84-91 - Inês Lynce
, Ana Graça, João Marques-Silva
, Arlindo L. Oliveira
:
Haplotype Inference with Boolean Constraint Solving: An Overview. 92-100 - Martín Molina
, Gemma Blasco:
Human-Readable and Machine-Readable Knowledge Bases Using Specialized Word Processors. 103-110 - Peter Z. Yeh, Alex Kass:
Capturing the Semantics of Online News Sources for Business Intelligence Applications. 111-117 - Ermelinda Oro
, Massimo Ruffolo
:
XONTO: An Ontology-Based System for Semantic Information Extraction from PDF Documents. 118-125 - Chunyi Wang, Yutian Liu:
Group Intelligent Decision Support System for Power System Skeleton Restoration. 126-129 - Jun Kong, Kevin L. Ates, Kang Zhang, Yan Gu:
Adaptive Mobile Interfaces through Grammar Induction. 133-140 - Apostolos Marakakis, Nikolas P. Galatsanos, Aristidis Likas, Andreas Stafylopatis:
Application of Relevance Feedback in Content Based Image Retrieval Using Gaussian Mixture Models. 141-148 - Shashwati Kasetty, Candice Stafford, Gregory P. Walker, Xiaoyue Wang, Eamonn J. Keogh:
Real-Time Classification of Streaming Sensor Data. 149-156 - Dario Bonino
, Emiliano Castellina, Fulvio Corno
:
DOG: An Ontology-Powered OSGi Domotic Gateway. 157-160 - Margarita Razgon, Gregory M. Provan
:
Adding Flexibility to Russian Doll Search. 163-171 - Tapashree Guha, Simone A. Ludwig:
Comparison of Service Selection Algorithms for Grid Services: Multiple Objective Particle Swarm Optimization and Constraint Satisfaction Based Service Selection. 172-179 - Slim Bechikh
, Nabil Belgasmi, Lamjed Ben Said
, Khaled Ghédira:
PHC-NSGA-II: A Novel Multi-objective Memetic Algorithm for Continuous Optimization. 180-189 - Gerard de Melo, Fabian M. Suchanek, Adam Pease:
Integrating YAGO into the Suggested Upper Merged Ontology. 190-193 - Sibo Yang, Franck Gechter, Abderrafiaa Koukam
:
Application of Reactive Multi-agent System to Vehicle Collision Avoidance. 197-204 - Sami Al-Maqtari, Habib Abdulrab:
Controller Agents for Constraints Solving: Implementation and Use of CACS Prototype. 205-211 - Nariman Mani, Vahid Garousi
, Behrouz H. Far:
A UML-Based Conversion Tool for Monitoring and Testing Multi-agent Systems. 212-219 - Umar Manzoor
, Samia Nefti
:
Agent Based Activity Monitoring System - ABAMS. 220-223 - Bruno J. T. Fernandes
, George D. C. Cavalcanti
:
A Pyramidal Neural Network Based on Nonclassical Receptive Field Inhibition. 227-230 - Mani Thomas, Chandra Kambhamettu, Senthil Kumar:
Face Recognition Using a Color Subspace LDA Approach. 231-235 - Ehsan Parvizi, Q. M. Jonathan Wu:
Real-Time Approach for Adaptive Object Segmentation in Time-of-Flight Sensors. 236-240 - Hyeongyong Jeon, Jaekyong Jeong, Joonwoon Bang, Chijung Hwang:
The Efficient Features for Tracking. 241-244 - Patrick Albert, Laurent Henocque, Mathias Kleiner:
Ant Colony Optimization for Configuration. 247-254 - Djamal Habet:
Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT. 255-262 - Xi Guo, Shell-Ying Huang:
Performing A* Search for Yard Crane Dispatching in Container Terminals. 263-267 - Ricardo M. Araujo, Luís C. Lamb
:
On the Effects of Network Structure in Population-Based Optimization. 268-271 - Mathias Paulin, Christian Bessiere, Jean Sallantin:
Automatic Design of Robot Behaviors through Constraint Network Acquisition. 275-282 - David Lesaint, Deepak Mehta, Barry O'Sullivan
, Luis Quesada, Nic Wilson
:
Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription. 283-290 - Jimmy Ho-Man Lee, C. F. K. Siu:
Stronger Consistencies in WCSPs with Set Variables. 291-298 - Samba Ndiaye, Philippe Jégou, Cyril Terrioux:
Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured Problems. 299-306 - Maria Angelica A. Leite
, Ivan L. M. Ricarte
:
Fuzzy Information Retrieval Model Based on Multiple Related Ontologies. 309-316 - Zhiyong Zhang, Olfa Nasraoui:
Profile-Based Focused Crawler for Social Media-Sharing Websites. 317-324 - Célia A. Zorzo Barcelos, Eduardo Ferreira Ribeiro, Marcos Aurélio Batista:
Image Characterization via Multilayer Neural Networks. 325-332 - Atsuhiro Takasu:
Information Extraction by Two Dimensional Parser. 333-340 - Chunying Zhou, Huajun Chen, Tong Yu:
Learning a Probabilistic Semantic Model from Heterogeneous Social Networks for Relationship Identification. 343-350 - Patrick Albert, Laurent Henocque, Mathias Kleiner:
An End-to-End Configuration-Based Framework for Automatic SWS Composition. 351-358 - Hyunyoung Kil, Wonhong Nam, Dongwon Lee
:
Computational Complexity of Web Service Composition Based on Behavioral Descriptions. 359-363 - Leyla Zhuhadar, Olfa Nasraoui
:
Semantic Information Retrieval for Personalized E-Learning. 364-368 - Takashi Isozaki, Noriji Kato, Maomi Ueno:
Minimum Free Energies with "Data Temperature" for Parameter Learning of Bayesian Networks. 371-378 - Carlos Abreu Ferreira, João Gama
, Vítor Santos Costa
:
RUSE-WARMR: Rule Selection for Classifier Induction in Multi-relational Data-Sets. 379-386 - Byungwoo Lee, Yong-chan Na, Byonghwa Oh, Jihoon Yang:
Ensemble Learning of Regional Classifiers. 387-392 - Hyunsung Jo, Yong-chan Na, Byonghwa Oh, Jihoon Yang, Vasant G. Honavar
:
Attribute Value Taxonomy Generation through Matrix Based Adaptive Genetic Algorithm. 393-400 - Eva Onaindia
, Antonio Garrido
, Óscar Sapena:
LRNPlanner: Planning Personalized and Contextualized E-Learning Routes. 403-410 - Hao Chen, Jun Li, Ning Jing, Yu Tang:
Hybrid Algorithms for Electromagnetic Detection Satellites Scheduling. 411-418 - Jicheng Fu, Farokh B. Bastani, Vincent Ng, I-Ling Yen, Yansheng Zhang:
FIP: A Fast Planning-Graph-Based Iterative Planner. 419-426 - Sadaf Naseem Jat, Shengxiang Yang
:
A Memetic Algorithm for the University Course Timetabling Problem. 427-433 - Xiaoyuan Su, Taghi M. Khoshgoftaar, Russell Greiner:
Using Imputation Techniques to Help Learn Accurate Classifiers. 437-444 - Chris Seiffert, Taghi M. Khoshgoftaar, Jason Van Hulse, Amri Napolitano:
Resampling or Reweighting: A Comparison of Boosting Implementations. 445-451 - Chris Seiffert, Taghi M. Khoshgoftaar, Jason Van Hulse, Amri Napolitano:
Improving Learner Performance with Data Sampling and Boosting. 452-459 - Naeem Seliya, Zhiwei Xu
, Taghi M. Khoshgoftaar:
Addressing Class Imbalance in Non-binary Classification Problems. 460-466 - Soomin Lee, Benjamin W. Wah:
Finding Good Starting Points for Solving Structured and Unstructured Nonlinear Constrained Optimization Problems. 469-476 - Esben Rune Hansen:
Encoding CSPs with Zero-Suppressed Decision Diagrams. 477-485 - Philippe Jégou, Samba Ndiaye, Cyril Terrioux:
A New Evaluation of Forward Checking and Its Consequences on Efficiency of Tools for Decomposition of CSPs. 486-490 - Cédric Pinto, Cyril Terrioux:
A New Method for Computing Suitable Tree-Decompositions with Respect to Structured CSP Solving. 491-495 - Huy Nguyen Anh Pham, Arthur M. D. Shr, Peter P. Chen, Alan Liu
:
Scheduling for Dedicated Machine Constraint Using Integer Programming. 499-506 - Frederic Maris, Pierre Régnier:
TLP-GP: New Results on Temporally-Expressive Planning Benchmarks. 507-514 - Marlene Arangú, Antonio Garrido
, Eva Onaindia
:
A General Technique for Plan Repair. 515-518 - Ai-Hua Bian, Chong-Jun Wang, Shifu Chen:
Preprocessing for Point-Based Algorithms of POMDPs. 519-522 - Bijan Raahemi, Weicai Zhong, Jing Liu:
Peer-to-Peer Traffic Identification by Mining IP Layer Data Streams Using Concept-Adapting Very Fast Decision Tree. 525-532 - Liang Su, Bo Wang, Peng Zou, Yan Jia, Ke Zuo, Shuqiang Yang:
Quantized Indexing Tree for Frequent Updates over Data Streams. 533-538 - Esin Saka, Olfa Nasraoui:
Simultaneous Clustering and Visualization of Web Usage Data Using Swarm-Based Intelligence. 539-546 - Nurcan Durak, Olfa Nasraoui:
Feature Exploration for Mining Coronal Loops from Solar Images. 547-550
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.