


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. Araújo, 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

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














