21. ICTAI 2009: Newark, New Jersey, USA

AI in Databases and Data Mining - I

• Agostino Forestiero, Clara Pizzuti, Giandomenico Spezzano:
  FlockStream: A Bio-Inspired Algorithm for Clustering Evolving Data Streams. 1-8
  
• Elio Masciari:
  A Complete Framework for Clustering Trajectories. 9-16
  
• Dan He, Xingquan Zhu, Xindong Wu:
  Approximate Repeating Pattern Mining with Gap Requirements. 17-24
  
• Gianni Costa, Alfredo Cuzzocrea, Giuseppe Manco, Riccardo Ortale:
  Clustering Relational Data: A Transactional Approach. 25-32
  

Vision Processing/Understanding, and Streaming Video

• Qi Li, Chandra Kambhamettu:
  Contour Extraction of Drosophila Embryos. 33-40
  
• Ippei Torii, Yousuke Okada, Masayuki Mizutani, Naohiro Ishii:
  A Simple Method for 3-Dimensional Modeling and Application to Complex Objects. 41-48
  
• Ngozi V. Uti, Richard Fox:
  Improving Delivery Rate for Real-Time Mobile Streaming Video. 49-53
  
• Guillermo S. Donatti, Rolf P. Würtz:
  Using Growing Neural Gas Networks to Represent Visual Object Knowledge. 54-58
  

Feature Selection: Methods, Evaluation and Application

• Naeem Seliya, Taghi M. Khoshgoftaar, Jason Van Hulse:
  A Study on the Relationships of Classifier Performance Metrics. 59-66
  
• Kehan Gao, Taghi M. Khoshgoftaar, Amri Napolitano:
  Exploring Software Quality Classification with a Wrapper-Based Feature Ranking Technique. 67-74
  
• Wilker Altidor, Taghi M. Khoshgoftaar, Jason Van Hulse:
  An Empirical Study on Wrapper-Based Feature Ranking. 75-82
  
• Huanjing Wang, Taghi M. Khoshgoftaar, Kehan Gao, Naeem Seliya:
  High-Dimensional Software Engineering Data and Feature Selection. 83-90
  

Current Trends in SAT and CSP - I

• Dominique D'Almeida, Lakhdar Sais:
  Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency. 91-98
  
• Anbulagan, John K. Slaney:
  Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness. 99-106
  
• Éric Grégoire, Bertrand Mazure, Lakhdar Sais:
  Local Autarkies Searching for the Dynamic Partition of CNF Formulae. 107-114
  
• Djamal Habet, Lionel Paris, Cyril Terrioux:
  A Tree Decomposition Based Approach to Solve Structured SAT Instances. 115-122
  

Knowledge Representation and Reasoning - I

• Lina Ye, Philippe Dague, Yuhong Yan:
  An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems. 123-130
  
• Hasan M. Jamil:
  A Novel Knowledge Representation Framework for Computing Sub-Graph Isomorphic Queries in Interaction Network Databases. 131-138
  
• Arnaud Saval, Maroua Bouzid, Stephan Brunessaux:
  A Semantic Extension for Event Modelisation. 139-146
  
• Marwa F. Kahter, Ahmed Y. Tawfik:
  Context Evolution in Conceptual Spaces. 147-150
  

AI in Robotics

• Pavel Surynek:
  An Application of Pebble Motion on Graphs to Abstract Multi-robot Path Planning. 151-158
  
• Arnaud Doniec, Noury Bouraqadi, Michael Defoort, Van Tuan Le, Serge Stinckwich:
  Distributed Constraint Reasoning Applied to Multi-robot Exploration. 159-166
  
• John Atkinson, Fernando Gutierrez:
  Autonomous Robotics Self-Localization Using Genetic Algorithms. 167-170
  
• Yansheng Zhang, Farokh B. Bastani, I-Ling Yen:
  Decentralized Path Planner for Multi-robot Systems. 171-175
  

Constraint Programming - I

• Hiroshi Hosobe:
  Constraint Hierarchies as Semiring-Based CSPs. 176-183
  
• Philippe Jégou, Samba Ndiaye, Cyril Terrioux:
  Combined Strategies for Decomposition-Based Methods for Solving CSPs. 184-192
  
• Christophe Lecoutre, Sébastien Tabary:
  Lightweight Detection of Variable Symmetries for Constraint Satisfaction. 193-197
  
• John Horan, Barry O'Sullivan:
  Towards Diverse Relaxations of Over-Constrained Models. 198-205
  

Knowledge-Based Systems - I

• Alfredo Cuzzocrea, Domenico Saccà:
  Delivering Semantics-aware Compressed OLAP Views in Mobile Environments with Hand-OLAP. 206-213
  
• Neeraj Koul, Vasant Honavar:
  Design and Implementation of a Query Planner for Data Integration. 214-218
  
• José Iria, Spiros Nikolopoulos, Martin Mozina:
  Cross-Media Knowledge Extraction in the Car Manufacturing Industry. 219-223
  
• Steven Schockaert, Henri Prade:
  Merging Conflicting Propositional Knowledge by Similarity. 224-228
  

AI Methods for Improving QoL for People at Risk

• Robert Keefer, Nikolaos G. Bourbakis:
  Interaction with a Mobile Reader for the Visually Impaired. 229-236
  
• Vojtech Stejskal, Nikolaos G. Bourbakis, Anna Esposito:
  Empty Speech Pause Detection in Spontaneous Speech. 237-242
  
• Alexandros Pantelopoulos, Nikolaos G. Bourbakis:
  A Health Prognosis Wearable System with Learning Capabilities Using NNs. 243-247
  
• Ryan Patrick, Nikolaos G. Bourbakis:
  Surveillance Systems for Smart Homes: A Comparative Survey. 248-252
  

Trends in Case-Based Reasoning

• Stefania Bandini, Sara Manzoni, Fabio Sartori:
  Case-Based Reasoning to Support Work and Learning in Small and Medium Enterprises. 253-260
  
• José M. Juárez, Manuel Campos, A. Gomariz, José Palma, Roque Marín:
  A Reuse-Based CBR System Evaluation in Critical Medical Scenarios. 261-268
  
• Alessio Bottrighi, Giorgio Leonardi, Stefania Montani, Luigi Portinale:
  Extending the JColibri Open Source Architecture for Managing High-Dimensional Data and Large Case Bases. 269-275
  
• Juan A. Recio-García, Belén Díaz-Agudo, Pedro A. González-Calero:
  Boosting the Performance of CBR Applications with jCOLIBRI. 276-283
  

Intelligent Internet Agents

• Beishui Liao, Huaxin Huang:
  An Argumentation-Based Flexible Agent with Dynamic Rules of Inference. 284-291
  
• Nariman Mani, Vahid Garousi, Behrouz H. Far:
  Runtime Monitoring of Multi-agent Manufacturing Systems for Deadlock Detection Based on Models. 292-299
  
• Roman Neruda:
  Description, Composition, and Decision Support for Multiagent Computational Systems. 300-307
  
• Sang M. Park, Soon M. Chung:
  Privacy-Preserving Attribute Distribution Mechanism for Access Control in a Grid. 308-313
  

Speech/Language Processing and Understanding

• Ping Chen, Wei Ding, Chris Bowes, David Brown:
  Large-Scale Dependency Knowledge Acquisition and its Extrinsic Evaluation Through Word Sense Disambiguation. 314-318
  
• Min-Seok Kim, Il-Ho Yang, Ha-Jin Yu:
  Robust Speaker Identification Using Multimodal Discriminant Analysis with Kernels. 319-322
  
• Minho Kim, Youngim Jung, Hyuk-Chul Kwon:
  Prediction of Korean Prosodic Phrase Boundary by Efficient Feature Selection in Machine Learning. 323-327
  

Constraint Programming - II

• Youssef Hamadi, Saïd Jabbour, Lakhdar Sais:
  Learning for Dynamic Subsumption. 328-335
  
• Saïd Jabbour:
  Learning for Dynamic Assignments Reordering. 336-343
  
• Marlene Arangú, Miguel A. Salido, Federico Barber:
  2-C3OP: An Improved Version of 2-Consistency. 344-348
  
• Raphael A. Finkel, Barry O'Sullivan:
  Reasoning about Conditional Constraint Specifications. 349-353
  

AI in Databases and Data Mining - II

• Cornelia Caragea, Doina Caragea, Vasant Honavar:
  Learning Link-Based Classifiers from Ontology-Extended Textual Data. 354-361
  
• Naohiro Ishii, Yusaku Tokuda, Ippei Torii, Tomomi Kanda:
  Sensitivity Characterization by Impression and Color Words. 362-369
  
• Aditya Sinha, Raj Bhatnagar:
  Algorithm for Concept Traversal in Multiple Databases. 370-374
  
• Sarah Brown, Babak Forouraghi:
  Concept Classification Using a Hybrid Data Mining Model. 375-378
  

Evolutionary Computing

• Clara Pizzuti:
  A Multi-objective Genetic Algorithm for Community Detection in Networks. 379-386
  
• Pruet Boonma, Junichi Suzuki:
  A Confidence-Based Dominance Operator in Evolutionary Algorithms for Noisy Multiobjective Optimization Problems. 387-394
  
• Paskorn Champrasert, Junichi Suzuki, Tetsuo Otani:
  Constraint-Based Evolutionary QoS Adaptation for Power Utility Communication Networks. 395-403
  
• Ji Ryang Chung, Yoonsuck Choe:
  Emergence of Memory-like Behavior in Reactive Agents Using External Markers. 404-408
  

Current Trends in SAT and CSP - II

• Richard Ostrowski, Lionel Paris:
  Detecting Boolean Functions for Proving Unsatisfiability. 409-416
  
• Gilles Audemard, Jean-Marie Lagniez, Bertrand Mazure, Lakhdar Sais:
  Learning in Local Search. 417-424
  
• Gilles Dequen, Pascal Vander-Swalmen, Michaël Krajecki:
  Toward Easy Parallel SAT Solving. 425-432
  

Information Retrieval

• Maria Soledad Pera, Yiu-Kai Ng:
  Classifying Sentence-Based Summaries of Web Documents. 433-440
  
• Gerasimos Spanakis, Georgios Siolas, Andreas Stafylopatis:
  A Hybrid Web-Based Measure for Computing Semantic Relatedness Between Words. 441-448
  
• Asad Masood Khattak, Khalid Latif, Manhyung Han, Sungyoung Lee, Young-Koo Lee, Hyoung-Il Kim:
  Change Tracer: Tracking Changes in Web Ontologies. 449-456
  
• Mi Zhang, Neil Hurley:
  Evaluating the Diversity of Top-N Recommendations. 457-460
  

Knowledge-Based Systems - II

• Shaw Yi Chaw, Ken Barker, Bruce W. Porter, Dan Tecuci, Peter Z. Yeh:
  A Scalable Problem-Solver for Large Knowledge-Bases. 461-468
  
• Sara Boutouhami, Daniel Kayser:
  Strategies to Defend a Protagonist of an Event. 469-476
  
• Peter Z. Yeh, Colin A. Puri, Alex Kass:
  Towards a Technology Platform for Building Corporate Radar Applications that Mine the Web for Business Insight. 477-484
  
• Martín Molina, Amanda Stent:
  Generating Descriptions that Summarize Geospatial and Temporal Data. 485-492
  

Reasoning Under Fuzziness or Uncertainty - I

• Salem Benferhat, Karim Tabia:
  Classification with Uncertain Observations Using Possibilistic Networks. 493-499
  
• Sara Motahari, Sotirios G. Ziavras, Quentin Jones:
  Preventing Unwanted Social Inferences with Classification Tree Analysis. 500-507
  
• Yanjun Li, D. Frank Hsu, Soon M. Chung:
  Combining Multiple Feature Selection Methods for Text Categorization by Using Rank-Score Characteristics. 508-517
  
• Abir-Beatrice Karami, Laurent Jeanpierre, Abdel-Illah Mouaddib:
  Partially Observable Markov Decision Process for Managing Robot Collaboration with Human. 518-521
  

AI in Games

• Elise Bonzon, Caroline Devred, Marie-Christine Lagasquie-Schiex:
  Translation of an Argumentation Framework into a CP-Boolean Game. 522-529
  
• John R. Sullins:
  Probabilistic Smart Terrain. 530-537
  
• Pablo San Segundo, Agustín Jiménez:
  Using Graphs to Derive CSP Heuristics and its Application to Sudoku. 538-545
  
• Yingying She, Peter Grogono:
  An Approach of Real-Time Team Behavior Control in Games. 546-550
  

Planning and Scheduling

• Huy Nguyen Anh Pham, Arthur M. D. Shr, Peter P. Chen:
  Scheduling for the Dedicated Machine Constraint in Semiconductor Manufacturing Using a Goal-Oriented Approach. 551-558
  
• Huy Nguyen Anh Pham, Arthur M. D. Shr, Peter P. Chen:
  Dedicated Machine Constraint Scheduling as a Shortest-Path Problem. 559-566
  
• Miguel A. Salido, Oscar Sapena, Mario Rodriguez, Federico Barber:
  A Planning Tool for Minimizing Reshuffles in Container Terminals. 567-571
  
• Zachary J. Oster, Samik Basu:
  Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers. 572-575
  
• Guillaume Gabriel, Stéphane Grandcolas:
  Searching Optimal Parallel Plans: A Filtering and Decomposition Approach. 576-580
  

Knowledge Representation and Reasoning - II

• Dan Wu, Nasreen Mirza Tania, Karen H. Jin:
  Heuristic Assignment of CPDs for Probabilistic Inference in Junction Trees. 581-588
  
• Karen H. Jin, Dan Wu:
  MA-DBN: Modeling Cooperative Agents for Approximate Online Monitoring. 589-596
  
• Rüdiger W. Brause:
  Real-Valued Feature Selection by Mutual Information of Order 2. 597-604
  
• Jean-François Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind:
  Merging Qualitative Constraint Networks in a Piecewise Fashion. 605-608
  

AI Algorithms

• Yingmin Li, Lina Ye, Philippe Dague, Tarek Melliti:
  A Decentralized Model-Based Diagnosis for BPEL Services. 609-616
  
• Zhengping Wu, Hao Wu:
  Uncertainty Management in Personalized Recommendation for E-commerce. 617-620
  
• Jinwei Hu, Yan Zhang, Ruixuan Li, Zhengding Lu:
  Managing Authorization Provenance: A Modal Logic Based Approach. 621-624
  
• Amal Elkharraz, Petko Valtchev, Hafedh Mili:
  Using Concepts Analysis for Mining Functional Features from Legacy Code. 625-629
  

AI in Software Engineering and Collaborative Software Agents

• Ricardo de A. Araujo, Adriano L. I. de Oliveira, Sergio C. B. Soares:
  A Morphological-Rank-Linear Approach for Software Development Cost Estimation. 630-636
  
• Mohammad Mehedi Hassan, Biao Song, Seungmin Han, Eui-nam Huh, Changwoo Yoon, Won Ryu:
  Multi-objective Optimization Model for Partner Selection in a Market-Oriented Dynamic Collaborative Cloud Service Platform. 637-644
  
• Jun Wu, Chong-Jun Wang, Lei Zhang, Junyuan Xie:
  Coalitional Planning in Game-like Domains via ATL Model Checking. 645-652
  
• Gauvain Bourgne, Dominique Bouthinon, Amal El Fallah-Seghrouchni, Henry Soldano:
  Collaborative Concept Learning: Non Individualistic vs Individualistic Agents. 653-657
  

Intelligent Model-Assistive Sensing System: Modeling-Learning

• Miltiadis Alamaniotis, R. Gao, Lefteri H. Tsoukalas, Tatjana Jevremovic:
  Intelligent Order-Based Method for Synthesis of NRF Spectra and Detection of Hazardous Materials. 658-665
  
• Miltiadis Alamaniotis, R. Gao, Lefteri H. Tsoukalas, Tatjana Jevremovic:
  Expert System for Decision Making and Instructing Nuclear Resonance Fluorescence Cargo Interrogation. 666-673
  
• P. Forsberg, Vivek Agarwal, John Perry, R. Gao, Lefteri H. Tsoukalas, Tatjana Jevremovic:
  PEAKSEEK: A Statistical Processing Algorithm for Radiation Spectrum Peak Identification. 674-678
  
• Miltiadis Alamaniotis, J. Young, John Perry, Shanjie Xiao, Vivek Agarwal, P. Forsberg, R. Gao, C. Choi, Lefteri H. Tsoukalas, Tatjana Jevremovic:
  Engineering Solution to Nuclear Material Detection at Ports: Introducing the Novel iMASS Paradigm. 679-682
  
• Alexandros Pantelopoulos, Miltiadis Alamaniotis, Tatjana Jevremovic, Sang M. Park, Soon M. Chung, Nikolaos G. Bourbakis:
  LG-Graph Based Detection of NRF Spectrum Signatures: Initial Results and Comparison. 683-686
  

Machine Learning and Neural Networks

• Toshinori Deguchi, Keisuke Matsuno, Toshiki Kimura, Naohiro Ishii:
  Error Correction Capability in Chaotic Neural Networks. 687-692
  
• Pierre Sermanet, Koray Kavukcuoglu, Yann LeCun:
  EBLearn: Open-Source Energy-Based Learning in C++. 693-697
  
• Henry Wai Kit Chia, Chew Lim Tan, Sam Yuan Sung:
  Probabilistic Neural Logic Network Learning: Taking Cues from Neuro-Cognitive Processes. 698-702
  
• César Luis Alonso, José Luis Montaña, Cruz E. Borges:
  Evolution Strategies for Constants Optimization in Genetic Programming. 703-707
  

Constraint Programming - III

• David Devlin, Barry O'Sullivan:
  Preferential Attachment in Constraint Networks. 708-715
  
• Tarik Hadzic, Eoin O'Mahony, Barry O'Sullivan, Meinolf Sellmann:
  Enhanced Inference for the Market Split Problem. 716-723
  
• Cédric Pinto, Cyril Terrioux:
  A Generalized Cyclic-Clustering Approach for Solving Structured CSPs. 724-728
  
• Michal Zerola, Michal Sumbera, Roman Barták, Jérôme Lauret:
  Using Constraint Programming to Plan Efficient Data Movement on the Grid. 729-733
  

Machine Learning

• Laurent Boyer, Olivier Gandrillon, Amaury Habrard, Mathilde Pellerin, Marc Sebban:
  Learning Constrained Edit State Machines. 734-741
  
• Aris Lanaridis, Andreas Stafylopatis:
  Multi-dimensional Raycasting for Fuzzy Pattern Classication. 742-749
  
• Minmin Chen, Yixin Chen, Michael R. Brent, Aaron E. Tenney:
  Gradient-Based Feature Selection for Conditional Random Fields and its Applications in Computational Genetics. 750-757
  
• Naoto Mukai, Naohiro Ishii:
  R-Tree Based Path Representation for Vehicle Routing Problem. 758-761
  

AI in Biomedical Engineering

• Yelda Alkan, Tara L. Alvarez, Eun Kim, Rajbir Jaswal, Bharat B. Biswal, Suril Gohel, Vincent R. Vicci:
  Functional MRI as a Tool to Quantify Cortical Changes from Vision Rehabilitation. 762-765
  
• Eun Kim, Tara L. Alvarez, Yelda Alkan, Rajbir Jaswal, Bharat B. Biswal, Vincent R. Vicci:
  Decomposition of Vergence Dynamics Using Independent Component Analysis. 766-770
  
• Rajbir Jaswal, Tara L. Alvarez, Yelda Alkan, Eun Kim, Bharat B. Biswal:
  The Cerebral Vascular Enhancement Effect in Establishing Diffusion Tensor Imaging Protocols. 771-775
  

Reasoning Under Fuzziness or Uncertainty - II

• Nishikant Mishra, Sanja Petrovic, Santhanam Sundar:
  A Knowledge-Light Nonlinear Case-Based Reasoning Approach to Radiotherapy Planning. 776-783
  
• Yuri Malitsky, Meinolf Sellmann:
  Stochastic Offline Programming. 784-791
  
• Dan He, Xingquan Zhu, Xindong Wu:
  Error Detection and Uncertainty Modeling for Imprecise Data. 792-795
  
• Emmanuel Rachelson, Patrick Fabiani, Frédérick Garcia:
  TiMDPpoly: An Improved Method for Solving Time-Dependent MDPs. 796-799
  

Networking and Applications Optimization

• Eiji Oki, Ayako Iwaki:
  Optimization of IP Load-Balanced Routing for Hose Model. 800-805
  
• Chao Liang, Yong Liu, Keith W. Ross:
  Topology Optimization in Multi-tree Based P2P Streaming System. 806-813
  
• Renita Machado, Wensheng Zhang, Guiling Wang:
  Network Planning for Heterogeneous Wireless Sensor Networks in Environmental Survivability. 814-821
  
• Roberto Rojas-Cessa, Zhen Qin:
  Proactive Routing for Congestion Avoidance in Network Recovery under Single-Link Failures. 822-825