20. ICTAI 2008: Dayton, Ohio, USA

• 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 F. 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 Honavar:
  Attribute Value Taxonomy Generation through Matrix Based Adaptive Genetic Algorithm. 393-400
  
• Eva Onaindia, Antonio Garrido, Oscar 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 N. 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