1. Home
  2. Proceedings
  3. ICTAI
  4. ICTAI 2008
Default Cover Image

2008 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI)

Nov. 3 2008 to Nov. 5 2008

Dayton, OH

Volume:

Table of Contents

Papers
[Copyright notice - Volume 1]Freely available from IEEE.pp. iv
Papers
Table of contents - Volume 1Freely available from IEEE.pp. v-x
Papers
Title Page i - Volume 1Freely available from IEEE.pp. i
Papers
Title Page iii - Volume 1Freely available from IEEE.pp. iii
Papers
Message from the General Chairs - Volume 1Freely available from IEEE.pp. xi-xi
Papers
Message from the Program Chair - Volume 1Freely available from IEEE.pp. xii
Papers
Conference Committees - Volume 1Freely available from IEEE.pp. xiii-xvii
Papers
Improving the Performance of Interactive Configuration with Regular String ConstraintsFull-text access may be available. Sign in or learn about subscription options.pp. 3-10
by Esben Rune Hansen, Peter Tiedemann
Papers
The System BioC for Reasoning about Biological Models in Action Language CFull-text access may be available. Sign in or learn about subscription options.pp. 11-18
by Steve Dworschak, Torsten Grote, Arne K?nig, Torsten Schaub, Philippe Veber
Papers
Layer Compression in Decision DiagramsFull-text access may be available. Sign in or learn about subscription options.pp. 19-26
by Tarik Hadzic, Esben Rune Hansen, Barry O'Sullivan
Papers
A Model for Multiple Outcomes GamesFull-text access may be available. Sign in or learn about subscription options.pp. 27-34
by Ramzi Ben Larbi, S?bastien Konieczny, Pierre Marquis
Papers
Dominance of Bayesian Networks and Efficient Learning of Generalized Latent Class ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 37-44
by Yixin Chen, Dong Hua, Fang Liu
Papers
Veritas: Combining Expert Opinions without Labeled DataFull-text access may be available. Sign in or learn about subscription options.pp. 45-52
by Sharath R. Cholleti, Sally A. Goldman, Avrim Blum, David G. Politte, Steven Don
Papers
Classifying Spend Descriptions with Off-the-Shelf Learning ComponentsFull-text access may be available. Sign in or learn about subscription options.pp. 53-60
by Saikat Mukherjee, Dmitriy Fradkin, Michael Roth
Papers
Sub-class Recognition from Aggregate Class Labels: Preliminary ResultsFull-text access may be available. Sign in or learn about subscription options.pp. 61-64
by Ranga Raju Vatsavai, Shashi Shekhar, Budhendra Bhaduri
Integrating YAGO into the Suggested Upper Merged OntologyFull-text access may be available. Sign in or learn about subscription options.pp. 190-193
by Gerard de Melo, Fabian Suchanek, Adam Pease
Papers
Let the Solver Deal with RedundancyFull-text access may be available. Sign in or learn about subscription options.pp. 67-73
by C?dric Piette
Application of Reactive Multi-agent System to Vehicle Collision AvoidanceFull-text access may be available. Sign in or learn about subscription options.pp. 197-204
by Sibo Yang, Franck Gechter, Abderrafiaa Koukam
Papers
On Approaches to Explaining Infeasibility of Sets of Boolean ClausesFull-text access may be available. Sign in or learn about subscription options.pp. 74-83
by ?ric Gr?goire, Bertrand Mazure, C?dric Piette
Papers
From XSAT to SAT by Exhibiting EquivalenciesFull-text access may be available. Sign in or learn about subscription options.pp. 84-91
by Richard Ostrowski, Lionel Paris
Papers
Haplotype Inference with Boolean Constraint Solving: An OverviewFull-text access may be available. Sign in or learn about subscription options.pp. 92-100
by In? Lynce, Ana Gra?, Jo? Marques-Silva, Arlindo L. Oliveira
Papers
Human-Readable and Machine-Readable Knowledge Bases Using Specialized Word ProcessorsFull-text access may be available. Sign in or learn about subscription options.pp. 103-110
by Martin Molina, Gemma Blasco
Papers
Capturing the Semantics of Online News Sources for Business Intelligence ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 111-117
by Peter Z. Yeh, Alex Kass
Papers
XONTO: An Ontology-Based System for Semantic Information Extraction from PDF DocumentsFull-text access may be available. Sign in or learn about subscription options.pp. 118-125
by Ermelinda Oro, Massimo Ruffolo
Papers
Group Intelligent Decision Support System for Power System Skeleton RestorationFull-text access may be available. Sign in or learn about subscription options.pp. 126-129
by Chunyi Wang, Yutian Liu
Papers
Adaptive Mobile Interfaces through Grammar InductionFull-text access may be available. Sign in or learn about subscription options.pp. 133-140
by Jun Kong, Keven L. Ates, Kang Zhang, Yan Gu
Papers
Application of Relevance Feedback in Content Based Image Retrieval Using Gaussian Mixture ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 141-148
by Apostolos Marakakis, Nikolaos Galatsanos, Aristidis Likas, Andreas Stafylopatis
Papers
Real-Time Classification of Streaming Sensor DataFull-text access may be available. Sign in or learn about subscription options.pp. 149-156
by Shashwati Kasetty, Candice Stafford, Gregory P. Walker, Xiaoyue Wang, Eamonn Keogh
Papers
DOG: An Ontology-Powered OSGi Domotic GatewayFull-text access may be available. Sign in or learn about subscription options.pp. 157-160
by Dario Bonino, Emiliano Castellina, Fulvio Corno
Papers
Adding Flexibility to Russian Doll SearchFull-text access may be available. Sign in or learn about subscription options.pp. 163-171
by Margarita Razgon, Gregory M. Provan
Papers
Comparison of Service Selection Algorithms for Grid Services: Multiple Objective Particle Swarm Optimization and Constraint Satisfaction Based Service SelectionFull-text access may be available. Sign in or learn about subscription options.pp. 172-179
by Tapashree Guha, Simone A. Ludwig
Papers
PHC-NSGA-II: A Novel Multi-objective Memetic Algorithm for Continuous OptimizationFull-text access may be available. Sign in or learn about subscription options.pp. 180-189
by Slim Bechikh, Nabil Belgasmi, Lamjed Ben Said, Khaled Gh?dira
Papers
Controller Agents for Constraints Solving: Implementation and Use of CACS PrototypeFull-text access may be available. Sign in or learn about subscription options.pp. 205-211
by Sami Al-Maqtari, Habib Abdulrab
Papers
A UML-Based Conversion Tool for Monitoring and Testing Multi-agent SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 212-219
by Nariman Mani, Vahid Garousi, Behrouz H. Far
Papers
Agent Based Activity Monitoring System - ABAMSFull-text access may be available. Sign in or learn about subscription options.pp. 220-223
by Umar Manzoor, Samia Nefti
Papers
A Pyramidal Neural Network Based on Nonclassical Receptive Field InhibitionFull-text access may be available. Sign in or learn about subscription options.pp. 227-230
by Bruno J. T. Fernandes, George D. C. Cavalcanti
Papers
Face Recognition Using a Color Subspace LDA ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 231-235
by M. Thomas, C. Kambhamettu, S. Kumar
Papers
Real-Time Approach for Adaptive Object Segmentation in Time-of-Flight SensorsFull-text access may be available. Sign in or learn about subscription options.pp. 236-240
by Ehsan Parvizi, Q. M. Jonathan Wu
Papers
The Efficient Features for TrackingFull-text access may be available. Sign in or learn about subscription options.pp. 241-244
by Hyeongyong Jeon, Jaekyong Jeong, Joonwoon Bang, Chijung Hwang
Papers
Ant Colony Optimization for ConfigurationFull-text access may be available. Sign in or learn about subscription options.pp. 247-254
by Patrick Albert, Laurent Henocque, Mathias Kleiner
Papers
Enhancing the Robustness/Efficiency of Local Search Algorithms for SATFull-text access may be available. Sign in or learn about subscription options.pp. 255-262
by Djamal Habet
Papers
Performing A* Search for Yard Crane Dispatching in Container TerminalsFull-text access may be available. Sign in or learn about subscription options.pp. 263-267
by Xi Guo, Shell Ying Huang
Papers
On the Effects of Network Structure in Population-Based OptimizationFull-text access may be available. Sign in or learn about subscription options.pp. 268-271
by Ricardo M. Araujo, Luis C. Lamb
Papers
Automatic Design of Robot Behaviors through Constraint Network AcquisitionFull-text access may be available. Sign in or learn about subscription options.pp. 275-282
by Mathias Paulin, Christian Bessiere, Jean Sallantin
Papers
Consistency Techniques for Finding an Optimal Relaxation of a Feature SubscriptionFull-text access may be available. Sign in or learn about subscription options.pp. 283-290
by David Lesaint, Deepak Mehta, Barry O'Sullivan, Luis Quesada, Nic Wilson
Papers
Stronger Consistencies in WCSPs with Set VariablesFull-text access may be available. Sign in or learn about subscription options.pp. 291-298
by J. H. M. Lee, C. F. K. Siu
Papers
Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured ProblemsFull-text access may be available. Sign in or learn about subscription options.pp. 299-306
by Samba Ndojh Ndiaye, Philippe J?gou, Cyril Terrioux
Papers
Fuzzy Information Retrieval Model Based on Multiple Related OntologiesFull-text access may be available. Sign in or learn about subscription options.pp. 309-316
by Maria Angelica de A. Leite, Ivan L. M. Ricarte
Papers
Profile-Based Focused Crawler for Social Media-Sharing WebsitesFull-text access may be available. Sign in or learn about subscription options.pp. 317-324
by Zhiyong Zhang, Olfa Nasraoui
Papers
Image Characterization via Multilayer Neural NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 325-332
by Celia A. Z. Barcelos, Eduardo F. Ribeiro, Marcos A. Batista
Improving Learner Performance with Data Sampling and BoostingFull-text access may be available. Sign in or learn about subscription options.pp. 452-459
by Chris Seiffert, Taghi M. Khoshgoftaar, Jason Van Hulse, Amri Napolitano
Papers
Information Extraction by Two Dimensional ParserFull-text access may be available. Sign in or learn about subscription options.pp. 333-340
by Atsuhiro Takasu
Papers
Learning a Probabilistic Semantic Model from Heterogeneous Social Networks for Relationship IdentificationFull-text access may be available. Sign in or learn about subscription options.pp. 343-350
by Chunying Zhou, Huajun Chen, Tong Yu
Papers
An End-to-End Configuration-Based Framework for Automatic SWS CompositionFull-text access may be available. Sign in or learn about subscription options.pp. 351-358
by Patrick Albert, Laurent Henocque, Mathias Kleiner
Papers
Computational Complexity of Web Service Composition Based on Behavioral DescriptionsFull-text access may be available. Sign in or learn about subscription options.pp. 359-363
by Hyunyoung Kil, Wonhong Nam, Dongwon Lee
Papers
Semantic Information Retrieval for Personalized E-LearningFull-text access may be available. Sign in or learn about subscription options.pp. 364-368
by Leyla Zhuhadar, Olfa Nasraoui
Papers
Minimum Free Energies with "Data Temperature" for Parameter Learning of Bayesian NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 371-378
by Takashi Isozaki, Noriji Kato, Maomi Ueno
Papers
RUSE-WARMR: Rule Selection for Classifier Induction in Multi-relational Data-SetsFull-text access may be available. Sign in or learn about subscription options.pp. 379-386
by Carlos Abreu Ferreira, Jo? Gama, V?tor Santos Costa
Papers
Ensemble Learning of Regional ClassifiersFull-text access may be available. Sign in or learn about subscription options.pp. 387-392
by Byung-woo Lee, Yong-chan Na, Byonghwa Oh, Jihoon Yang
Papers
Attribute Value Taxonomy Generation through Matrix Based Adaptive Genetic AlgorithmFull-text access may be available. Sign in or learn about subscription options.pp. 393-400
by Hyunsung Jo, Yong-chan Na, Byonghwa Oh, Jihoon Yang, Vasant Honavar
Papers
LRNPlanner: Planning Personalized and Contextualized E-Learning RoutesFull-text access may be available. Sign in or learn about subscription options.pp. 403-410
by Eva Onaindia, Antonio Garrido, Oscar Sapena
Papers
Hybrid Algorithms for Electromagnetic Detection Satellites SchedulingFull-text access may be available. Sign in or learn about subscription options.pp. 411-418
by Hao Chen, Jun Li, Ning Jing, Yu Tang
Papers
FIP: A Fast Planning-Graph-Based Iterative PlannerFull-text access may be available. Sign in or learn about subscription options.pp. 419-426
by Jicheng Fu, Farokh Bastani, Vincent Ng, I-Ling Yen, Yansheng Zhang
Papers
A Memetic Algorithm for the University Course Timetabling ProblemFull-text access may be available. Sign in or learn about subscription options.pp. 427-433
by Sadaf N. Jat, Shengxiang Yang
Papers
Using Imputation Techniques to Help Learn Accurate ClassifiersFull-text access may be available. Sign in or learn about subscription options.pp. 437-444
by Xiaoyuan Su, Taghi M. Khoshgoftaar, Russell Greiner
[Publisher's information - Volume 1]Freely available from IEEE.
Papers
Resampling or Reweighting: A Comparison of Boosting ImplementationsFull-text access may be available. Sign in or learn about subscription options.pp. 445-451
by Chris Seiffert, Taghi M. Khoshgoftaar, Jason Van Hulse, Amri Napolitano
Papers
Addressing Class Imbalance in Non-binary Classification ProblemsFull-text access may be available. Sign in or learn about subscription options.pp. 460-466
by Naeem Seliya, Zhiwei Xu, Taghi M. Khoshgoftaar
Papers
Finding Good Starting Points for Solving Structured and Unstructured Nonlinear Constrained Optimization ProblemsFull-text access may be available. Sign in or learn about subscription options.pp. 469-476
by Soomin Lee, Benjamin Wah
Papers
Encoding CSPs with Zero-Suppressed Decision DiagramsFull-text access may be available. Sign in or learn about subscription options.pp. 477-485
by Esben Rune Hansen
Papers
A New Evaluation of Forward Checking and Its Consequences on Efficiency of Tools for Decomposition of CSPsFull-text access may be available. Sign in or learn about subscription options.pp. 486-490
by Philippe J?gou, Samba Ndojh Ndiaye, Cyril Terrioux
Papers
A New Method for Computing Suitable Tree-Decompositions with Respect to Structured CSP SolvingFull-text access may be available. Sign in or learn about subscription options.pp. 491-495
by C?dric Pinto, Cyril Terrioux
Papers
Scheduling for Dedicated Machine Constraint Using Integer ProgrammingFull-text access may be available. Sign in or learn about subscription options.pp. 499-506
by Huy Nguyen Anh Pham, Arthur Shr, Peter P. Chen, Alan Liu
Papers
TLP-GP: New Results on Temporally-Expressive Planning BenchmarksFull-text access may be available. Sign in or learn about subscription options.pp. 507-514
by F. Maris, P. R?gnier
Papers
A General Technique for Plan RepairFull-text access may be available. Sign in or learn about subscription options.pp. 515-518
by Marlene Arang?, Antonio Garrido, Eva Onaindia
Papers
Preprocessing for Point-Based Algorithms of POMDPsFull-text access may be available. Sign in or learn about subscription options.pp. 519-522
by Ai-Hua Bian, Chong-Jun Wang, Shi-Fu Chen
Papers
Peer-to-Peer Traffic Identification by Mining IP Layer Data Streams Using Concept-Adapting Very Fast Decision TreeFull-text access may be available. Sign in or learn about subscription options.pp. 525-532
by Bijan Raahemi, Weicai Zhong, Jing Liu
Papers
Quantized Indexing Tree for Frequent Updates over Data StreamsFull-text access may be available. Sign in or learn about subscription options.pp. 533-538
by Liang Su, Bo Wang, Peng Zou, Yan Jia, Ke Zuo, ShuQiang Yang
Papers
Simultaneous Clustering and Visualization of Web Usage Data Using Swarm-Based IntelligenceFull-text access may be available. Sign in or learn about subscription options.pp. 539-546
by Esin Saka, Olfa Nasraoui
Papers
Feature Exploration for Mining Coronal Loops from Solar ImagesFull-text access may be available. Sign in or learn about subscription options.pp. 547-550
by Nurcan Durak, Olfa Nasraoui
Papers
Author Index - Volume 1Freely available from IEEE.pp. 551-553
Showing 81 out of 81