[Copyright notice - Volume 1]

Table of contents - Volume 1 (PDF)

pp. v-x

[Publisher's information - Volume 1] (PDF)

pp. 554

[Front cover - Vol 1] (PDF)

pp. C1

Title Page i - Volume 1 (PDF)

pp. i

Title Page iii - Volume 1 (PDF)

pp. iii

Message from the General Chairs - Volume 1 (PDF)

pp. xi

Message from the Program Chair - Volume 1 (PDF)

pp. xii

Conference Committees - Volume 1 (PDF)

pp. xiii-xvii

Improving the Performance of Interactive Configuration with Regular String Constraints (Abstract)

Esben Rune Hansen

Peter Tiedemann

pp. 3-10

PDF

The System BioC for Reasoning about Biological Models in Action Language C (Abstract)

pp. 11-18

PDF

Layer Compression in Decision Diagrams (Abstract)

pp. 19-26

PDF

A Model for Multiple Outcomes Games (Abstract)

pp. 27-34

PDF

Dominance of Bayesian Networks and Efficient Learning of Generalized Latent Class Models (Abstract)

pp. 37-44

PDF

Veritas: Combining Expert Opinions without Labeled Data (Abstract)

pp. 45-52

PDF

Classifying Spend Descriptions with Off-the-Shelf Learning Components (Abstract)

pp. 53-60

PDF

Sub-class Recognition from Aggregate Class Labels: Preliminary Results (Abstract)

pp. 61-64

PDF

Let the Solver Deal with Redundancy (Abstract)

C?dric Piette

pp. 67-73

PDF

On Approaches to Explaining Infeasibility of Sets of Boolean Clauses (Abstract)

pp. 74-83

PDF

From XSAT to SAT by Exhibiting Equivalencies (Abstract)

Richard Ostrowski

Lionel Paris

pp. 84-91

PDF

Haplotype Inference with Boolean Constraint Solving: An Overview (Abstract)

pp. 92-100

PDF

Human-Readable and Machine-Readable Knowledge Bases Using Specialized Word Processors (Abstract)

Martin Molina

Gemma Blasco

pp. 103-110

PDF

Capturing the Semantics of Online News Sources for Business Intelligence Applications (Abstract)

Peter Z. Yeh

Alex Kass

pp. 111-117

PDF

XONTO: An Ontology-Based System for Semantic Information Extraction from PDF Documents (Abstract)

Ermelinda Oro

Massimo Ruffolo

pp. 118-125

PDF

Group Intelligent Decision Support System for Power System Skeleton Restoration (Abstract)

Chunyi Wang

Yutian Liu

pp. 126-129

PDF

Adaptive Mobile Interfaces through Grammar Induction (Abstract)

Jun Kong

Keven L. Ates

Kang Zhang

Yan Gu

pp. 133-140

PDF

Application of Relevance Feedback in Content Based Image Retrieval Using Gaussian Mixture Models (Abstract)

pp. 141-148

PDF

Real-Time Classification of Streaming Sensor Data (Abstract)

pp. 149-156

PDF

DOG: An Ontology-Powered OSGi Domotic Gateway (Abstract)

pp. 157-160

PDF

Adding Flexibility to Russian Doll Search (Abstract)

Margarita Razgon

Gregory M. Provan

pp. 163-171

PDF

Comparison of Service Selection Algorithms for Grid Services: Multiple Objective Particle Swarm Optimization and Constraint Satisfaction Based Service Selection (Abstract)

Tapashree Guha

Simone A. Ludwig

pp. 172-179

PDF

PHC-NSGA-II: A Novel Multi-objective Memetic Algorithm for Continuous Optimization (Abstract)

pp. 180-189

PDF

Integrating YAGO into the Suggested Upper Merged Ontology (Abstract)

pp. 190-193

PDF

Application of Reactive Multi-agent System to Vehicle Collision Avoidance (Abstract)

pp. 197-204

PDF

Controller Agents for Constraints Solving: Implementation and Use of CACS Prototype (Abstract)

Sami Al-Maqtari

Habib Abdulrab

pp. 205-211

PDF

A UML-Based Conversion Tool for Monitoring and Testing Multi-agent Systems (Abstract)

pp. 212-219

PDF

Agent Based Activity Monitoring System - ABAMS (Abstract)

Umar Manzoor

Samia Nefti

pp. 220-223

PDF

A Pyramidal Neural Network Based on Nonclassical Receptive Field Inhibition (Abstract)

Bruno J. T. Fernandes

George D. C. Cavalcanti

pp. 227-230

PDF

Face Recognition Using a Color Subspace LDA Approach (Abstract)

pp. 231-235

PDF

Real-Time Approach for Adaptive Object Segmentation in Time-of-Flight Sensors (Abstract)

Ehsan Parvizi

Q. M. Jonathan Wu

pp. 236-240

PDF

The Efficient Features for Tracking (Abstract)

pp. 241-244

PDF

Ant Colony Optimization for Configuration (Abstract)

pp. 247-254

PDF

Enhancing the Robustness/Efficiency of Local Search Algorithms for SAT (Abstract)

Djamal Habet

pp. 255-262

PDF

Performing A* Search for Yard Crane Dispatching in Container Terminals (Abstract)

Xi Guo

Shell Ying Huang

pp. 263-267

PDF

On the Effects of Network Structure in Population-Based Optimization (Abstract)

Ricardo M. Araujo

Luis C. Lamb

pp. 268-271

PDF

Automatic Design of Robot Behaviors through Constraint Network Acquisition (Abstract)

pp. 275-282

PDF

Consistency Techniques for Finding an Optimal Relaxation of a Feature Subscription (Abstract)

pp. 283-290

PDF

Stronger Consistencies in WCSPs with Set Variables (Abstract)

J. H. M. Lee

C. F. K. Siu

pp. 291-298

PDF

Extending to Soft and Preference Constraints a Framework for Solving Efficiently Structured Problems (Abstract)

pp. 299-306

PDF

Maria Angelica de A. Leite

Fuzzy Information Retrieval Model Based on Multiple Related Ontologies (Abstract)

Ivan L. M. Ricarte

pp. 309-316

PDF

Profile-Based Focused Crawler for Social Media-Sharing Websites (Abstract)

Zhiyong Zhang

pp. 317-324

PDF

Image Characterization via Multilayer Neural Networks (Abstract)

pp. 325-332

PDF

Information Extraction by Two Dimensional Parser (Abstract)

Atsuhiro Takasu

pp. 333-340

PDF

Learning a Probabilistic Semantic Model from Heterogeneous Social Networks for Relationship Identification (Abstract)

Chunying Zhou

Huajun Chen

Tong Yu

pp. 343-350

PDF

An End-to-End Configuration-Based Framework for Automatic SWS Composition (Abstract)

pp. 351-358

PDF

Computational Complexity of Web Service Composition Based on Behavioral Descriptions (Abstract)

pp. 359-363

PDF

Semantic Information Retrieval for Personalized E-Learning (Abstract)

Leyla Zhuhadar

pp. 364-368

PDF

Minimum Free Energies with "Data Temperature" for Parameter Learning of Bayesian Networks (Abstract)

pp. 371-378

PDF

RUSE-WARMR: Rule Selection for Classifier Induction in Multi-relational Data-Sets (Abstract)

Carlos Abreu Ferreira

Jo? Gama

V?tor Santos Costa

pp. 379-386

PDF

Ensemble Learning of Regional Classifiers (Abstract)

pp. 387-392

PDF

Attribute Value Taxonomy Generation through Matrix Based Adaptive Genetic Algorithm (Abstract)

pp. 393-400

PDF

LRNPlanner: Planning Personalized and Contextualized E-Learning Routes (Abstract)

pp. 403-410

PDF

Hybrid Algorithms for Electromagnetic Detection Satellites Scheduling (Abstract)

Hao Chen

Jun Li

Ning Jing

Yu Tang

pp. 411-418

PDF

FIP: A Fast Planning-Graph-Based Iterative Planner (Abstract)

pp. 419-426

PDF

A Memetic Algorithm for the University Course Timetabling Problem (Abstract)

Sadaf N. Jat

Shengxiang Yang

pp. 427-433

PDF

Using Imputation Techniques to Help Learn Accurate Classifiers (Abstract)

Xiaoyuan Su

Russell Greiner

pp. 437-444

PDF

Resampling or Reweighting: A Comparison of Boosting Implementations (Abstract)

Chris Seiffert

Jason Van Hulse

Amri Napolitano

pp. 445-451

PDF

Improving Learner Performance with Data Sampling and Boosting (Abstract)

Chris Seiffert

Jason Van Hulse

Amri Napolitano

pp. 452-459

PDF

Addressing Class Imbalance in Non-binary Classification Problems (Abstract)

Naeem Seliya

Zhiwei Xu

pp. 460-466

PDF

Finding Good Starting Points for Solving Structured and Unstructured Nonlinear Constrained Optimization Problems (Abstract)

Soomin Lee

Benjamin Wah

pp. 469-476

PDF

Encoding CSPs with Zero-Suppressed Decision Diagrams (Abstract)

Esben Rune Hansen

pp. 477-485

PDF

A New Evaluation of Forward Checking and Its Consequences on Efficiency of Tools for Decomposition of CSPs (Abstract)

pp. 486-490

PDF

A New Method for Computing Suitable Tree-Decompositions with Respect to Structured CSP Solving (Abstract)

C?dric Pinto

Cyril Terrioux

pp. 491-495

PDF

Scheduling for Dedicated Machine Constraint Using Integer Programming (Abstract)

pp. 499-506

PDF

TLP-GP: New Results on Temporally-Expressive Planning Benchmarks (Abstract)

F. Maris

P. R?gnier

pp. 507-514

PDF

A General Technique for Plan Repair (Abstract)

pp. 515-518

PDF

Preprocessing for Point-Based Algorithms of POMDPs (Abstract)

pp. 519-522

PDF

Peer-to-Peer Traffic Identification by Mining IP Layer Data Streams Using Concept-Adapting Very Fast Decision Tree (Abstract)

pp. 525-532

PDF

Quantized Indexing Tree for Frequent Updates over Data Streams (Abstract)

Liang Su

Bo Wang

Peng Zou

Yan Jia

Ke Zuo

ShuQiang Yang

pp. 533-538

PDF

Simultaneous Clustering and Visualization of Web Usage Data Using Swarm-Based Intelligence (Abstract)

Esin Saka

pp. 539-546

PDF

Feature Exploration for Mining Coronal Loops from Solar Images (Abstract)

Nurcan Durak

pp. 547-550

PDF

Author Index - Volume 1 (PDF)

pp. 551-553