CSDL - Proceedings I

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-xiv

Message from the General Chair (PDF)

pp. xv

Message from the Program Chair (PDF)

pp. xvi

ICTAI 2009 Committees (PDF)

pp. xvii-xviii

Program Committee (PDF)

pp. xix-xx

FlockStream: A Bio-Inspired Algorithm for Clustering Evolving Data Streams (Abstract)

Agostino Forestiero

Clara Pizzuti

Giandomenico Spezzano

pp. 1-8

PDF

A Complete Framework for Clustering Trajectories (Abstract)

Elio Masciari

pp. 9-16

PDF

Approximate Repeating Pattern Mining with Gap Requirements (Abstract)

Dan He

Xingquan Zhu

Xindong Wu

pp. 17-24

PDF

Clustering Relational Data: A Transactional Approach (Abstract)

pp. 25-32

PDF

Contour Extraction of Drosophila Embryos (Abstract)

Qi Li

Chandra Kambhamettu

pp. 33-40

PDF

A Simple Method for 3-Dimensional Modeling and Application to Complex Objects (Abstract)

pp. 41-48

PDF

Improving Delivery Rate for Real-Time Mobile Streaming Video (Abstract)

Ngozi V. Uti

Richard Fox

pp. 49-53

PDF

Using Growing Neural Gas Networks to Represent Visual Object Knowledge (Abstract)

Guillermo S. Donatti

Rolf P. Würtz

pp. 54-58

PDF

A Study on the Relationships of Classifier Performance Metrics (Abstract)

Naeem Seliya

Jason Van Hulse

pp. 59-66

PDF

Exploring Software Quality Classification with a Wrapper-Based Feature Ranking Technique (Abstract)

Kehan Gao

Amri Napolitano

pp. 67-74

PDF

An Empirical Study on Wrapper-Based Feature Ranking (Abstract)

Wilker Altidor

Jason Van Hulse

pp. 75-82

PDF

High-Dimensional Software Engineering Data and Feature Selection (Abstract)

Huanjing Wang

Kehan Gao

Naeem Seliya

pp. 83-90

PDF

Enhancing Neighbourhood Substitutability Thanks to Singleton Arc Consistency (Abstract)

Dominique D'Almeida

Lakhdar Saïs

pp. 91-98

PDF

Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness (Abstract)

Anbulagan

John Slaney

pp. 99-106

PDF

Local Autarkies Searching for the Dynamic Partition of CNF Formulae (Abstract)

pp. 107-114

PDF

A Tree Decomposition Based Approach to Solve Structured SAT Instances (Abstract)

pp. 115-122

PDF

An Incremental Approach for Pattern Diagnosability in Distributed Discrete Event Systems (Abstract)

Lina Ye

Philippe Dague

Yuhong Yan

pp. 123-130

PDF

A Novel Knowledge Representation Framework for Computing Sub-Graph Isomorphic Queries in Interaction Network Databases (Abstract)

Hasan Jamil

pp. 131-138

PDF

A Semantic Extension for Event Modelisation (Abstract)

pp. 139-146

PDF

Context Evolution in Conceptual Spaces (Abstract)

Marwa F. Kahter

Ahmed Y. Tawfik

pp. 147-150

PDF

An Application of Pebble Motion on Graphs to Abstract Multi-robot Path Planning (Abstract)

Pavel Surynek

pp. 151-158

PDF

Distributed Constraint Reasoning Applied to Multi-robot Exploration (Abstract)

pp. 159-166

PDF

Autonomous Robotics Self-Localization Using Genetic Algorithms (Abstract)

John Atkinson

Fernando Gutierrez

pp. 167-170

PDF

Decentralized Path Planner for Multi-robot Systems (Abstract)

pp. 171-175

PDF

Constraint Hierarchies as Semiring-Based CSPs (Abstract)

Hiroshi Hosobe

pp. 176-183

PDF

Combined Strategies for Decomposition-Based Methods for Solving CSPs (Abstract)

pp. 184-192

PDF

Lightweight Detection of Variable Symmetries for Constraint Satisfaction (Abstract)

Christophe Lecoutre

Sebastien Tabary

pp. 193-197

PDF

Towards Diverse Relaxations of Over-Constrained Models (Abstract)

John Horan

Barry O'Sullivan

pp. 198-205

PDF

Delivering Semantics-aware Compressed OLAP Views in Mobile Environments with Hand-OLAP (Abstract)

Alfredo Cuzzocrea

Domenico Saccà

pp. 206-213

PDF

Design and Implementation of a Query Planner for Data Integration (Abstract)

Neeraj Koul

Vasant Honavar

pp. 214-218

PDF

Cross-Media Knowledge Extraction in the Car Manufacturing Industry (Abstract)

pp. 219-223

PDF

Merging Conflicting Propositional Knowledge by Similarity (Abstract)

Steven Schockaert

Henri Prade

pp. 224-228

PDF

Interaction with a Mobile Reader for the Visually Impaired (Abstract)

Robert Keefer

Nikolaos Bourbakis

pp. 229-236

PDF

Empty Speech Pause Detection in Spontaneous Speech (Abstract)

pp. 237-242

PDF

A Health Prognosis Wearable System with Learning Capabilities Using NNs (Abstract)

Alexandros Pantelopoulos

Nikolaos Bourbakis

pp. 243-247

PDF

Surveillance Systems for Smart Homes: A Comparative Survey (Abstract)

Ryan Patrick

Nikolaos Bourbakis

pp. 248-252

PDF

Case-Based Reasoning to Support Work and Learning in Small and Medium Enterprises (Abstract)

pp. 253-260

PDF

A Reuse-Based CBR System Evaluation in Critical Medical Scenarios (Abstract)

pp. 261-268

PDF

Extending the JColibri Open Source Architecture for Managing High-Dimensional Data and Large Case Bases (Abstract)

pp. 269-275

PDF

Boosting the Performance of CBR Applications with jCOLIBRI (Abstract)

Juan A. Recio-García

Belén Díaz-Agudo

Pedro A. González-Calero

pp. 276-283

PDF

An Argumentation-Based Flexible Agent with Dynamic Rules of Inference (Abstract)

Beishui Liao

Huaxin Huang

pp. 284-291

PDF

Runtime Monitoring of Multi-agent Manufacturing Systems for Deadlock Detection Based on Models (Abstract)

pp. 292-299

PDF

Description, Composition, and Decision Support for Multiagent Computational Systems (Abstract)

Roman Neruda

pp. 300-307

PDF

Privacy-Preserving Attribute Distribution Mechanism for Access Control in a Grid (Abstract)

Sang M. Park

Soon M. Chung

pp. 308-313

PDF

Large-Scale Dependency Knowledge Acquisition and its Extrinsic Evaluation Through Word Sense Disambiguation (Abstract)

pp. 314-318

PDF

Robust Speaker Identification Using Multimodal Discriminant Analysis with Kernels (Abstract)

pp. 319-322

PDF

Prediction of Korean Prosodic Phrase Boundary by Efficient Feature Selection in Machine Learning (Abstract)

pp. 323-327

PDF

Learning for Dynamic Subsumption (Abstract)

pp. 328-335

PDF

Learning for Dynamic Assignments Reordering (Abstract)

Saïd Jabbour

pp. 336-343

PDF

2-C3OP: An Improved Version of 2-Consistency (Abstract)

pp. 344-348

PDF

Reasoning about Conditional Constraint Specifications (Abstract)

Raphael Finkel

Barry O'Sullivan

pp. 349-353

PDF

Learning Link-Based Classifiers from Ontology-Extended Textual Data (Abstract)

pp. 354-361

PDF

Sensitivity Characterization by Impression and Color Words (Abstract)

pp. 362-369

PDF

Algorithm for Concept Traversal in Multiple Databases (Abstract)

Aditya Sinha

Raj Bhatnagar

pp. 370-374

PDF

Concept Classification Using a Hybrid Data Mining Model (Abstract)

Sarah Brown

Babak Forouraghi

pp. 375-378

PDF

A Multi-objective Genetic Algorithm for Community Detection in Networks (Abstract)

Clara Pizzuti

pp. 379-386

PDF

A Confidence-Based Dominance Operator in Evolutionary Algorithms for Noisy Multiobjective Optimization Problems (Abstract)

Pruet Boonma

Junichi Suzuki

pp. 387-394

PDF

Constraint-Based Evolutionary QoS Adaptation for Power Utility Communication Networks (Abstract)

pp. 395-403

PDF

Emergence of Memory-like Behavior in Reactive Agents Using External Markers (Abstract)

Ji Ryang Chung

Yoonsuck Choe

pp. 404-408

PDF

Detecting Boolean Functions for Proving Unsatisfiability (Abstract)

Richard Ostrowski

Lionel Paris

pp. 409-416

PDF

Learning in Local Search (Abstract)

pp. 417-424

PDF

Toward Easy Parallel SAT Solving (Abstract)

Gilles Dequen

Pascal Vander-Swalmen

Michaël Krajecki

pp. 425-432

PDF

Classifying Sentence-Based Summaries of Web Documents (Abstract)

Maria Soledad Pera

Yiu-Kai Ng

pp. 433-440

PDF

A Hybrid Web-Based Measure for Computing Semantic Relatedness Between Words (Abstract)

pp. 441-448

PDF

Change Tracer: Tracking Changes in Web Ontologies (Abstract)

pp. 449-456

PDF

Evaluating the Diversity of Top-N Recommendations (Abstract)

Mi Zhang

Neil Hurly

pp. 457-460

PDF

A Scalable Problem-Solver for Large Knowledge-Bases (Abstract)

pp. 461-468

PDF

Strategies to Defend a Protagonist of an Event (Abstract)

Sara Boutouhami

Daniel Kayser

pp. 469-476

PDF

Towards a Technology Platform for Building Corporate Radar Applications that Mine the Web for Business Insight (Abstract)

pp. 477-484

PDF

Generating Descriptions that Summarize Geospatial and Temporal Data (Abstract)

Martin Molina

Amanda Stent

pp. 485-492

PDF

Classification with Uncertain Observations Using Possibilistic Networks (Abstract)

Salem Benferhat

Karim Tabia

pp. 493-499

PDF

Preventing Unwanted Social Inferences with Classification Tree Analysis (Abstract)

pp. 500-507

PDF

Combining Multiple Feature Selection Methods for Text Categorization by Using Rank-Score Characteristics (Abstract)

pp. 508-517

PDF

Partially Observable Markov Decision Process for Managing Robot Collaboration with Human (Abstract)

pp. 518-521

PDF

Translation of an Argumentation Framework into a CP-Boolean Game (Abstract)

E. Bonzon

C. Devred

M.-C. Lagasquie-Schiex

pp. 522-529

PDF

Probabilistic Smart Terrain (Abstract)

John R. Sullins

pp. 530-537

PDF

Using Graphs to Derive CSP Heuristics and its Application to Sudoku (Abstract)

Pablo San Segundo

Agustín Jiménez

pp. 538-545

PDF

An Approach of Real-Time Team Behavior Control in Games (Abstract)

Yingying She

Peter Grogono

pp. 546-550

PDF

Scheduling for the Dedicated Machine Constraint in Semiconductor Manufacturing Using a Goal-Oriented Approach (Abstract)

pp. 551-558

PDF

Dedicated Machine Constraint Scheduling as a Shortest-Path Problem (Abstract)

pp. 559-566

PDF

A Planning Tool for Minimizing Reshuffles in Container Terminals (Abstract)

pp. 567-571

PDF

Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers (Abstract)

Zachary J. Oster

Samik Basu

pp. 572-575

PDF

Searching Optimal Parallel Plans: A Filtering and Decomposition Approach (Abstract)

Guillaume Gabriel

Stéphane Grandcolas

pp. 576-580

PDF

Heuristic Assignment of CPDs for Probabilistic Inference in Junction Trees (Abstract)

Dan Wu

Nasreen Mirza Tania

Karen H. Jin

pp. 581-588

PDF

MA-DBN: Modeling Cooperative Agents for Approximate Online Monitoring (Abstract)

Karen H. Jin

Dan Wu

pp. 589-596

PDF

Real-Valued Feature Selection by Mutual Information of Order 2 (Abstract)

Rüdiger Brause

pp. 597-604

PDF

Merging Qualitative Constraint Networks in a Piecewise Fashion (Abstract)

Jean-François Condotta

pp. 605-608

PDF

A Decentralized Model-Based Diagnosis for BPEL Services (Abstract)

Lina Ye

pp. 609-616

PDF

Uncertainty Management in Personalized Recommendation for E-commerce (Abstract)

Zhengping Wu

Hao Wu

pp. 617-620

PDF

Managing Authorization Provenance: A Modal Logic Based Approach (Abstract)

pp. 621-624

PDF

Using Concepts Analysis for Mining Functional Features from Legacy Code (Abstract)

pp. 625-629

PDF

A Morphological-Rank-Linear Approach for Software Development Cost Estimation (Abstract)

Ricardo de A. Araújo

Adriano L.I. de Oliveira

Sergio C.B. Soares

pp. 630-636

PDF

Multi-objective Optimization Model for Partner Selection in a Market-Oriented Dynamic Collaborative Cloud Service Platform (Abstract)

Mohammad Mehedi Hassan

Won Ryu

pp. 637-644

PDF

Coalitional Planning in Game-like Domains via ATL Model Checking (Abstract)

Jun Wu

pp. 645-652

PDF

Amal El Fallah Seghrouchni

Collaborative Concept Learning: Non Individualistic vs Individualistic Agents (Abstract)

Gauvain Bourgne

Dominique Bouthinon

Henry Soldano

pp. 653-657

PDF

Intelligent Order-Based Method for Synthesis of NRF Spectra and Detection of Hazardous Materials (Abstract)

pp. 658-665

PDF

Expert System for Decision Making and Instructing Nuclear Resonance Fluorescence Cargo Interrogation (Abstract)

pp. 666-673

PDF

PEAKSEEK: A Statistical Processing Algorithm for Radiation Spectrum Peak Identification (Abstract)

pp. 674-678

PDF

Engineering Solution to Nuclear Material Detection at Ports: Introducing the Novel iMASS Paradigm (Abstract)

S. Xiao

C. Choi

L.H. Tsoukalas

T. Jevremovic

pp. 679-682

PDF

LG-Graph Based Detection of NRF Spectrum Signatures: Initial Results and Comparison (Abstract)

Alexandros Pantelopoulos

Miltiadis Alamaniotis

pp. 683-686

PDF

Error Correction Capability in Chaotic Neural Networks (Abstract)

pp. 687-692

PDF

EBLearn: Open-Source Energy-Based Learning in C++ (Abstract)

pp. 693-697

PDF

Probabilistic Neural Logic Network Learning: Taking Cues from Neuro-Cognitive Processes (Abstract)

pp. 698-702

PDF

Evolution Strategies for Constants Optimization in Genetic Programming (Abstract)

pp. 703-707

PDF

Preferential Attachment in Constraint Networks (Abstract)

David Devlin

Barry O'Sullivan

pp. 708-715

PDF

Enhanced Inference for the Market Split Problem (Abstract)

pp. 716-723

PDF

A Generalized Cyclic-Clustering Approach for Solving Structured CSPs (Abstract)

Cédric Pinto

Cyril Terrioux

pp. 724-728

PDF

Using Constraint Programming to Plan Efficient Data Movement on the Grid (Abstract)

pp. 729-733

PDF

Learning Constrained Edit State Machines (Abstract)

pp. 734-741

PDF

Multi-dimensional Raycasting for Fuzzy Pattern Classication (Abstract)

Aris Lanaridis

Andreas Stafylopatis

pp. 742-749

PDF

Gradient-Based Feature Selection for Conditional Random Fields and its Applications in Computational Genetics (Abstract)

pp. 750-757

PDF

R-Tree Based Path Representation for Vehicle Routing Problem (Abstract)

Naoto Mukai

Naohiro Ishii

pp. 758-761

PDF

Functional MRI as a Tool to Quantify Cortical Changes from Vision Rehabilitation (Abstract)

Eun Kim

pp. 762-765

PDF

Decomposition of Vergence Dynamics Using Independent Component Analysis (Abstract)

Eun Kim

pp. 766-770

PDF

The Cerebral Vascular Enhancement Effect in Establishing Diffusion Tensor Imaging Protocols (Abstract)

Eun Kim

pp. 771-775

PDF

A Knowledge-Light Nonlinear Case-Based Reasoning Approach to Radiotherapy Planning (Abstract)

pp. 776-783

PDF

Stochastic Offline Programming (Abstract)

Yuri Malitsky

Meinolf Sellmann

pp. 784-791

PDF

Error Detection and Uncertainty Modeling for Imprecise Data (Abstract)

Dan He

Xingquan Zhu

Xindong Wu

pp. 792-795

PDF

TiMDPpoly: An Improved Method for Solving Time-Dependent MDPs (Abstract)

pp. 796-799

PDF

Optimization of IP Load-Balanced Routing for Hose Model (Abstract)

Eiji Oki

Ayako Iwaki

pp. 800-805

PDF

Topology Optimization in Multi-tree Based P2P Streaming System (Abstract)

pp. 806-813

PDF

Network Planning for Heterogeneous Wireless Sensor Networks in Environmental Survivability (Abstract)

pp. 814-821

PDF

Proactive Routing for Congestion Avoidance in Network Recovery under Single-Link Failures (Abstract)

Roberto Rojas-Cessa

Zhen Qin

pp. 822-825

PDF

Author Index (PDF)

pp. 826-830

Publisher Information (PDF)

pp. 832