The Community for Technology Leaders
2012 IEEE 24th International Conference on Tools with Artificial Intelligence (ICTAI 2012) (2012)
Athens
Nov. 7, 2012 to Nov. 9, 2012
ISSN: 1082-3409
ISBN: 978-1-4799-0227-9
TABLE OF CONTENTS

Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams (Abstract)

J. Amilhastre , Cameleon Software, Labege, France
H. Fargier , IRIT, Univ. Paul Sabatier, Toulouse, France
A. Niveau , CRIL, Univ. d'Artois, Lens, France
C. Pralet , ONERA-The French Aerosp. Lab., Toulouse, France
pp. 1-8

Propagating Polynomially (Integral) Linear Projection-Safe Global Cost Functions in WCSPs (Abstract)

J. H. M. Lee , Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, Shatin, China
K. L. Leung , Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, Shatin, China
Y. W. Shum , Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, Shatin, China
pp. 9-16

A Value Ordering Heuristic for Solving Ultra-Weak Solutions in Minimax Weighted CSPs (Abstract)

J. H. M. Lee , Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, Hong Kong, China
T. W. K. Mak , Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, Hong Kong, China
pp. 17-24

Directed Policy Search Using Relevance Vector Machines (Abstract)

I. Rexakis , Dept. of Electron. & Comput. Eng., Tech. Univ. of Crete, Chania, Greece
M. G. Lagoudakis , Dept. of Electron. & Comput. Eng., Tech. Univ. of Crete, Chania, Greece
pp. 25-32

Maintaining Arc Consistency Asynchronously in Synchronous Distributed Search (Abstract)

M. Wahbi , Ecole des Mines de Nantes, TASC INRIA, Nantes, France
R. Ezzahir , ENSA Agadir, Univ. Ibn Zohr, Agadir, Morocco
C. Bessiere , LIRMM, Univ. of Montpellier, Montpellier, France
E. Bouyakhf , LIRMM, Univ. of Montpellier, Montpellier, France
pp. 33-40

Symmetry Propagation: Improved Dynamic Symmetry Breaking in SAT (Abstract)

J. Devriendt , Dept. of Comput. Sci., KU Leuven, Leuven, Belgium
B. Bogaerts , Dept. of Comput. Sci., KU Leuven, Leuven, Belgium
B. De Cat , Dept. of Comput. Sci., KU Leuven, Leuven, Belgium
M. Denecker , Dept. of Comput. Sci., KU Leuven, Leuven, Belgium
C. Mears , Caulfield Sch. of IT, Monash Univ., Melbourne, VIC, Australia
pp. 49-56

Massively Parallel Local Search for SAT (Abstract)

A. Arbelaez , JFLI, Univ. of Tokyo, Tokyo, Japan
P. Codognet , JFLI, Univ. of Tokyo, Tokyo, Japan
pp. 57-64

Extending Clause Learning SAT Solvers with Complete Parity Reasoning (Abstract)

T. Laitinen , Dept. of Inf. & Comput. Sci., Aalto Univ., Aalto, Finland
T. Junttila , Dept. of Inf. & Comput. Sci., Aalto Univ., Aalto, Finland
I. Niemela , Dept. of Inf. & Comput. Sci., Aalto Univ., Aalto, Finland
pp. 65-72

SAT with Global Constraints (Abstract)

M. S. Chowdhury , Dept. of Comput. Sci., Univ. of Alberta, Edmonton, AB, Canada
Jia-Huai You , Dept. of Comput. Sci., Univ. of Alberta, Edmonton, AB, Canada
pp. 73-80

Partially Observable Gene Regulatory Network Control without a Boundary on Horizon (Abstract)

U. Erdogdu , Dept. of Comput. Eng., Middle East Tech. Univ., Ankara, Turkey
F. Polat , Dept. of Comput. Eng., Middle East Tech. Univ., Ankara, Turkey
R. Alhajj , Dept. of Comput. Sci., Univ. of Calgary, Calgary, AB, Canada
pp. 81-88

Modeling the Multihop Ridematching Problem with Time Windows and Solving It Using Genetic Algorithms (Abstract)

Wesam Herbawi , Inst. of Media Inf., Univ. of Ulm, Ulm, Germany
M. Weber , Inst. of Media Inf., Univ. of Ulm, Ulm, Germany
pp. 89-96

Mining Causal Outliers Using Gaussian Bayesian Networks (Abstract)

S. Babbar , Sch. of Inf. Technol., Univ. of Sydney, Sydney, NSW, Australia
S. Chawla , Sch. of Inf. Technol., Univ. of Sydney, Sydney, NSW, Australia
pp. 97-104

Using Relative Classification Probability to Increase Accuracy of Restricted Structure Bayesian Network Classifiers (Abstract)

Jingsong Wang , Salesforce.com, San Francisco, CA, USA
M. Valtorta , Dept. of Comput. Sci. & Eng., Univ. of South Carolina, Columbia, SC, USA
pp. 105-113

CPrefMiner: An Algorithm for Mining User Contextual Preferences Based on Bayesian Networks (Abstract)

Sandra de Amo , Sch. of Comput. Sci., Fed. Univ. of Uberlandia, Uberlandia, Brazil
M. L. P. Bueno , Sch. of Comput. Sci., Fed. Univ. of Uberlandia, Uberlandia, Brazil
G. Alves , Sch. of Comput. Sci., Fed. Univ. of Uberlandia, Uberlandia, Brazil
N. F. Silva , Sch. of Comput. Sci., Fed. Univ. of Uberlandia, Uberlandia, Brazil
pp. 114-121

On the Theoretical and Computational Analysis between SDA and Lap-LDA (Abstract)

Mingbo Zhao , Dept. of Electron. Eng., City Univ. of Hong Kong, Kowloon, China
Zhao Zhang , Dept. of Electron. Eng., City Univ. of Hong Kong, Kowloon, China
T. W. S. Chow , Dept. of Electron. Eng., City Univ. of Hong Kong, Kowloon, China
pp. 122-129

A General Algorithm for Pattern Diagnosability of Distributed Discrete Event Systems (Abstract)

L. Ye , LRI, Univ. Paris-Sud, Orsay, France
P. Dague , LRI, Univ. Paris-Sud, Orsay, France
pp. 130-137

Latent Beta Topographic Mapping (Abstract)

Kirthevasan Kandasamy , Dept. of Electron. & Telecommun. Eng., Univ. of Moratuwa, Moratuwa, Sri Lanka
pp. 138-145

Relax! (Abstract)

E. Gregoire , CRIL, Univ. d'Artois, Lens, France
J. Lagniez , Inst. for Formal Models & Verification, Johannes Kepler Univ., Linz, Austria
B. Mazure , CRIL, Univ. d'Artois, Lens, France
pp. 146-153

Re-configuring Legacy Instances of the Partner Units Problem (Abstract)

E. C. Teppan , Univ. Klagenfurt, Klagenfurt, Austria
pp. 154-161

User-Oriented Evaluation of Event-Based Decision Support Systems (Abstract)

J. Pottebaum , Comput. Applic. & Integration in Design & Planning (C.I.K.), Univ. of Paderborn, Paderborn, Germany
A. Artikis , Inst. of Inf. & Telecommun., NCSR Demokritos, Athens, Greece
R. Marterer , Comput. Applic. & Integration in Design & Planning (C.I.K.), Univ. of Paderborn, Paderborn, Germany
G. Paliouras , Inst. of Inf. & Telecommun., NCSR Demokritos, Athens, Greece
pp. 162-169

The Partner Units Problem a Constraint Programming Case Study (Abstract)

C. Drescher , Dept. of Comput. Sci., Univ. of Oxford, Oxford, UK
pp. 170-177

Interleaved Asynchronous Arc Consistency in Distributed Constraint Networks (Abstract)

S. Hammoujan , Fac. of Sci., Mohammed the fifth Univ. - Agdal, Rabat, Morocco
E. H. Bouyakhf , Fac. of Sci., Mohammed the fifth Univ. - Agdal, Rabat, Morocco
I. Benelallam , INSEA, Nat. Inst. of Stat. & Appl. Econ. - IRFANE, Rabat, Morocco
pp. 178-185

Partial Max-restricted Path Consistency (Abstract)

Jinsong Guo , Key Lab. of Symbolic Comput. & Knowledge Eng. for Minist. of Educ. Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun, China
Zhanshan Li , Key Lab. of Symbolic Comput. & Knowledge Eng. for Minist. of Educ. Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun, China
Hongbo Li , Key Lab. of Symbolic Comput. & Knowledge Eng. for Minist. of Educ. Coll. of Comput. Sci. & Technol., Jilin Univ., Changchun, China
pp. 186-190

Three Approaches to Solve the Petrobras Challenge: Exploiting Planning Techniques for Solving Real-Life Logistics Problems (Abstract)

D. Toropila , Comput. Sci. Center, Charles Univ. in Prague, Prague, Czech Republic
F. Dvorak , Fac. of Math. & Phys., Charles Univ. in Prague, Prague, Czech Republic
O. Trunda , Fac. of Math. & Phys., Charles Univ. in Prague, Prague, Czech Republic
M. Hanes , Fac. of Math. & Phys., Charles Univ. in Prague, Prague, Czech Republic
R. Bartak , Fac. of Math. & Phys., Charles Univ. in Prague, Prague, Czech Republic
pp. 191-198

A Constraint-Solver Based Tool for User-Assisted Interactive 3D Layout (Abstract)

M. Kefi , LERIA Lab., Univ. of Angers, Angers, France
V. Barichard , LERIA Lab., Univ. of Angers, Angers, France
P. Richard , LISA Lab., Univ. of Angers, Angers, France
pp. 199-206

Inference Rules in Local Search for Max-SAT (Abstract)

A. Abrame , LSIS, Aix Marseille Univ., Marseille, France
D. Habet , LSIS, Aix Marseille Univ., Marseille, France
pp. 207-214

A Surrogate Based Multiobjective Evolution Strategy with Different Models for Local Search and Pre-selection (Abstract)

M. Pilat , Fac. of Math. & Phys., Charles Univ. in Prague, Prague, Czech Republic
R. Neruda , Inst. of Comput., Prague, Czech Republic
pp. 215-222

Efficient Singleton Consistency by Combining Forward Checking and Bound Consistency (Abstract)

Jinsong Guo , Key Lab. of Symbolic Comput. & Knowledge Eng. for Minist. of Educ., Jilin Univ., Changchun, China
Zhanshan Li , Key Lab. of Symbolic Comput. & Knowledge Eng. for Minist. of Educ., Jilin Univ., Changchun, China
Yonggang Zhang , Key Lab. of Symbolic Comput. & Knowledge Eng. for Minist. of Educ., Jilin Univ., Changchun, China
pp. 223-229

Discrete Variable Generation for Improved Neural Network Classification (Abstract)

Rudy Setiono , Sch. of Comput., Nat. Univ. of Singapore, Singapore, Singapore
A. Seret , Fac. of Bus. & Econ., Catholic Univ. of Leuven, Leuven, Belgium
pp. 230-237

A Methodology for Detecting Faces from Different Views (Abstract)

A. Tsitsoulis , ATR Center, Wright State Univ., Dayton, OH, USA
N. Bourbakis , ATR Center, Wright State Univ., Dayton, OH, USA
pp. 238-245

Visual Tracking by Weighted Likelihood Maximization (Abstract)

V. Karavasilis , Dept. of Comput. Sci., Univ. of Ioannina, Ioannina, Greece
C. Nikou , Dept. of Comput. Sci., Univ. of Ioannina, Ioannina, Greece
A. Likas , Dept. of Comput. Sci., Univ. of Ioannina, Ioannina, Greece
pp. 246-252

Mel-frequency Cepstral Coefficients for Eye Movement Identification (Abstract)

Nguyen Viet Cuong , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore, Singapore
Vu Dinh , Dept. of Math., Purdue Univ., West Lafayette, IN, USA
Lam Si Tung Ho , Dept. of Stat., Univ. of Wisconsin-Madison, Madison, WI, USA
pp. 253-260

Sentix: An Aspect and Domain Sensitive Sentiment Lexicon (Abstract)

Hsiang Hui Lek , Dept. of Inf. Syst., Nat. Univ. of Singapore, Singapore, Singapore
D. C. C. Poo , Dept. of Inf. Syst., Nat. Univ. of Singapore, Singapore, Singapore
pp. 261-268

Automatic Image Annotation Using Word Embedding Learning (Abstract)

Qi Chen , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore, Singapore
A. M. Yip , Dept. of Math., Nat. Univ. of Singapore, Singapore, Singapore
Chew Lim Tan , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore, Singapore
pp. 269-276

A Novel Prototype Tool for Intelligent Software Project Scheduling and Staffing Enhanced with Personality Factors (Abstract)

C. Stylianou , Dept. of Comput. Sci., Univ. of Cyprus, Lefkosia, Cyprus
S. Gerasimou , Dept. of Comput. Eng. & Inf., Cyprus Univ. of Technol., Lemesos, Cyprus
A. S. Andreou , Dept. of Comput. Eng. & Inf., Cyprus Univ. of Technol., Lemesos, Cyprus
pp. 277-284

Detecting Manipulation in Cup and Round Robin Sports Competitions (Abstract)

T. Russell , Cheriton Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON, Canada
Peter Van Beek , Cheriton Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON, Canada
pp. 285-290

Optimizing Energy Consumption in Automated Vacuum Waste Collection Systems (Abstract)

R. Bejar , Dept. of Comput. Sci., Univ. de Lleida, Lleida, Spain
C. Fernandez , Dept. of Comput. Sci., Univ. de Lleida, Lleida, Spain
C. Mateu , Dept. of Comput. Sci., Univ. de Lleida, Lleida, Spain
F. Sole-Mauri , Dept. of Comput. Sci., Univ. de Lleida, Lleida, Spain
pp. 291-298

Robust Solutions to Job-Shop Scheduling Problems with Operators (Abstract)

J. Escamilla , Inst. de Autom. e Inf. Ind., Univ. Politec. de Valencia, Valencia, Spain
M. Rodriguez-Molins , Inst. de Autom. e Inf. Ind., Univ. Politec. de Valencia, Valencia, Spain
M. A. Salido , Inst. de Autom. e Inf. Ind., Univ. Politec. de Valencia, Valencia, Spain
M. R. Sierra , Dept. of Comput. Sci., Univ. of Oviedo, Gijon, Spain
C. Mencia , Dept. of Comput. Sci., Univ. of Oviedo, Gijon, Spain
F. Barber , Inst. de Autom. e Inf. Ind., Univ. Politec. de Valencia, Valencia, Spain
pp. 299-306

Minimization of Suffix Array's Storage Capacity for Periodicity Detection in Time Series (Abstract)

K. F. Xylogiannopoulos , Dept. of Inf. Technol., Hellenic American Univ., Manchester, NH, USA
P. Karampelas , Dept. of Inf. Technol., Hellenic American Univ., Manchester, NH, USA
R. Alhajj , Dept. of Comput. Sci., Univ. of Calgary, Calgary, AB, Canada
pp. 307-313

Incorporating Fairness into Infinitely Repeated Games with Conflicting Interests for Conflicts Elimination (Abstract)

Jianye Hao , Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, Hong Kong, China
Ho-Fung Leung , Dept. of Comput. Sci. & Eng., Chinese Univ. of Hong Kong, Hong Kong, China
pp. 314-321

Social Reinforcement Learning in Game Playing (Abstract)

C. Kiourt , Sch. of Sci. & Technol., Hellenic Open Univ., Patras, Greece
D. Kalles , Sch. of Sci. & Technol., Hellenic Open Univ., Patras, Greece
pp. 322-326

Articulating Decision Maker's Preference Information within Multiobjective Artificial Immune Systems (Abstract)

R. Azzouz , SOIE Lab., High Inst. of Manage. of Tunis, Tunis, Tunisia
S. Bechikh , SOIE Lab., High Inst. of Manage. of Tunis, Tunis, Tunisia
L. B. Said , SOIE Lab., High Inst. of Manage. of Tunis, Tunis, Tunisia
pp. 327-334

Course Scheduling in an Adjustable Constraint Propagation Schema (Abstract)

N. Pothitos , Dept. of Inf. & Telecommun., Univ. of Athens, Athens, Greece
P. Stamatopoulos , Dept. of Inf. & Telecommun., Univ. of Athens, Athens, Greece
K. Zervoudakis , Dept. of Inf. & Telecommun., Univ. of Athens, Athens, Greece
pp. 335-343

A Collaborative Approach to Solve a Nurse Scheduling Problem (Abstract)

J. P. Cares , Comput. Sci. Dept., Univ. Tech. Federico Santa Maria, Valparaiso, Chile
M. C. Riff , Comput. Sci. Dept., Univ. Tech. Federico Santa Maria, Valparaiso, Chile
pp. 344-350

Comparative Study of FOREX Trading Systems Built with SVR+GHSOM and Genetic Algorithms Optimization of Technical Indicators (Abstract)

R. F. B. de Brito , Inf. Center, Fed. Univ. of Pernambuco - UFPE, Recife, Brazil
A. L. I. Oliveira , Inf. Center, Fed. Univ. of Pernambuco - UFPE, Recife, Brazil
pp. 351-358

Interferential Tear Film Lipid Layer Classification: An Automatic Dry Eye Test (Abstract)

V. Bolon-Canedo , Dept. de Comput., Univ. da Coruna, Coruna, Spain
D. Peteiro-Barral , Dept. de Comput., Univ. da Coruna, Coruna, Spain
B. Remeseiro , Dept. de Comput., Univ. da Coruna, Coruna, Spain
Amparo Alonso-Betanzos , Dept. de Comput., Univ. da Coruna, Coruna, Spain
B. Guijarro-Berdinas , Dept. de Comput., Univ. da Coruna, Coruna, Spain
A. Mosquera , Dept. de Electron. y Comput., Univ. de Santiago de Compostela, Santiago de Compostela, Spain
M. G. Penedo , Dept. de Comput., Univ. da Coruna, Coruna, Spain
N. Sanchez-Marono , Dept. de Comput., Univ. da Coruna, Coruna, Spain
pp. 359-366

Random Forests Based View Generation for Multiview TV (Abstract)

M. T. Pourazad , TELUS Commun. Inc., Univ. of British Columbia, Vancouver, BC, Canada
Di Xu , Electr. & Comput. Eng. Dept., Univ. of British Columbia, Vancouver, BC, Canada
P. Nasiopoulos , Electr. & Comput. Eng. Dept., Univ. of British Columbia, Vancouver, BC, Canada
pp. 367-372

Robust Frame Registration for Multiple Camera Setups in Dynamic Scenes (Abstract)

Ye Duan , Dept. of Comput. Sci., Missouri-Columbia Univ., Columbia, MO, USA
pp. 373-380

A Topic-Based Recommender System for Electronic Marketplace Platforms (Abstract)

K. Christidis , Inf. Manage. Unit, Nat. Tech. Univ. of Athens, Athens, Greece
G. Mentzas , Inf. Manage. Unit, Nat. Tech. Univ. of Athens, Athens, Greece
pp. 381-388

Overlapping Community Detection via Leader-Based Local Expansion in Social Networks (Abstract)

Lei Pan , Dept. of Comput. Sci. & Technol., Nanjing Univ., Nanjing, China
Chao Dai , Dept. of Comput. Sci. & Technol., Nanjing Univ., Nanjing, China
Chongjun Wang , Dept. of Comput. Sci. & Technol., Nanjing Univ., Nanjing, China
Junyuan Xie , Dept. of Comput. Sci. & Technol., Nanjing Univ., Nanjing, China
Meilin Liu , Dept. of Comput. Sci. & Eng., Wright State Univ., Dayton, OH, USA
pp. 397-404

Combining AceWiki with a CAPTCHA System for Collaborative Knowledge Acquisition (Abstract)

G. J. Nalepa , AGH Univ. of Sci. & Technol., Krakow, Poland
W. T. Adrian , AGH Univ. of Sci. & Technol., Krakow, Poland
S. Bobek , AGH Univ. of Sci. & Technol., Krakow, Poland
pp. 405-410

Modularizing OWL Ontologies Using $E^{DDL} _{HQ^+}$ $\mathcal{SHIQ}$ (Abstract)

G. M. Santipantakis , ICSD, Univ. of the Aegean, Chios, Greece
G. A. Vouros , Digital Syst., Univ. of Piraeus, Piraeus, Greece
pp. 411-418

Web Image Organization and Object Discovery by Actively Creating Visual Clusters through Crowdsourcing (Abstract)

Qi Chen , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore, Singapore
Gang Wang , Sch. of EEE, Nanyang Technol. Univ., Singapore, Singapore
Chew Lim Tan , Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore, Singapore
pp. 419-427

A Highly Efficient and Secure Multidimensional Blocking Approach for Private Record Linkage (Abstract)

A. Karakasidis , Sch. of Sci. & Technol., Hellenic Open Univ., Patras, Greece
V. S. Verykios , Sch. of Sci. & Technol., Hellenic Open Univ., Patras, Greece
pp. 428-435

Consistency of Chordal RCC-8 Networks (Abstract)

M. Sioutis , Dept. of Inf. & Telecommun., Nat. & Kapodistrian Univ. of Athens, Athens, Greece
M. Koubarakis , Dept. of Inf. & Telecommun., Nat. & Kapodistrian Univ. of Athens, Athens, Greece
pp. 436-443

Intelligent Real-Time Music Accompaniment for Constraint-Free Improvisation (Abstract)

M. A. Kaliakatsos-Papakostas , Dept. of Math., Univ. of Patras, Patras, Greece
A. Floros , Dept. of Audio & Visual Arts, Ionian Univ., Corfu, Greece
M. N. Vrahatis , Dept. of Math., Univ. of Patras, Patras, Greece
pp. 444-451

Revising the Outputs of a Decision Tree with Expert Knowledge: Application to Intrusion Detection and Alert Correlation (Abstract)

S. Benferhat , Univ. Lille Nord de France, Lille, France
A. Boudjelida , Univ. Lille Nord de France, Lille, France
K. Tabia , Univ. Lille Nord de France, Lille, France
pp. 452-459

CHRONOS: A Tool for Handling Temporal Ontologies in Protégé (Abstract)

A. Preventis , Dept. of Electron. & Comput. Eng., Tech. Univ. of Crete (TUC), Chania, Greece
P. Marki , Dept. of Electron. & Comput. Eng., Tech. Univ. of Crete (TUC), Chania, Greece
E. G. M. Petrakis , Dept. of Electron. & Comput. Eng., Tech. Univ. of Crete (TUC), Chania, Greece
S. Batsakis , Dept. of Electron. & Comput. Eng., Tech. Univ. of Crete (TUC), Chania, Greece
pp. 460-467

Handling Planning Failures with Virtual Actions (Abstract)

Jicheng Fu , Comput. Sci. Dept., Univ. of Central Oklahoma, Edmond, OK, USA
Sijie Tian , Comput. Sci. Dept., Univ. of Central Oklahoma, Edmond, OK, USA
Vincent Ng , Comput. Sci. Dept., Univ. of Texas at Dallas, Richardson, TX, USA
F. B. Bastani , Comput. Sci. Dept., Univ. of Texas at Dallas, Richardson, TX, USA
I-Ling Yen , Comput. Sci. Dept., Univ. of Texas at Dallas, Richardson, TX, USA
pp. 468-475

A Transparent and Decentralized Model of Action for Intelligent Virtual Agents (Abstract)

G. Anastassakis , Dept. of Inf., Univ. of Piraeus, Piraeus, Greece
T. Panayiotopoulos , Dept. of Inf., Univ. of Piraeus, Piraeus, Greece
pp. 476-483

Determining Redundant Actions in Sequential Plans (Abstract)

L. Chrpa , Knowledge Eng. & Intell. Interfaces Res. Group, Univ. of Huddersfield, Huddersfield, UK
T. L. Mccluskey , Knowledge Eng. & Intell. Interfaces Res. Group, Univ. of Huddersfield, Huddersfield, UK
H. Osborne , Knowledge Eng. & Intell. Interfaces Res. Group, Univ. of Huddersfield, Huddersfield, UK
pp. 484-491

Planning with Inaccurate Temporal Rules (Abstract)

M. Guillame-Bert , INRIA Rhone-Alpes Res. Center, Montbonnot-St. Martin, France
J. L. Crowley , INRIA Rhone-Alpes Res. Center, Montbonnot-St. Martin, France
pp. 492-499

Toward a Reactive Agent Based Parking Assistance System (Abstract)

B. Dafflon , IRTES-SET, UTBM, Belfort, France
J. Contet , IRTES-SET, UTBM, Belfort, France
F. Gechter , IRTES-SET, UTBM, Belfort, France
P. Gruer , IRTES-SET, UTBM, Belfort, France
pp. 500-507

An Agent-Based Focused Crawling Framework for Topic- and Genre-Related Web Document Discovery (Abstract)

N. Pappas , Idiap Res. Inst., Martigny, Switzerland
G. Katsimpras , Dept. of Inf. & Commun. Syst. Eng., Univ. of the Aegean, Karlovassi, Greece
E. Stamatatos , Dept. of Inf. & Commun. Syst. Eng., Univ. of the Aegean, Karlovassi, Greece
pp. 508-515

DEC-A*: A Decentralized Multiagent Pathfinding Algorithm (Abstract)

M. E. Falou , Basse-Normandie, Univ. of Caen, Caen, France
M. Bouzid , Basse-Normandie, Univ. of Caen, Caen, France
A. I. Mouaddib , Basse-Normandie, Univ. of Caen, Caen, France
pp. 516-523

On Propositional Encodings of Cooperative Path-Finding (Abstract)

P. Surynek , Charles Univ. in Prague, Prague, Czech Republic
pp. 524-531

Brain Emotional Learning Based Fuzzy Inference System (BELFIS) for Solar Activity Forecasting (Abstract)

M. Parsapoor , Sch. of Inf. Sci., Comput. & Electr. Eng. (IDE), Halmstad Univ., Halmstad, Sweden
U. Bilstrup , Sch. of Inf. Sci., Comput. & Electr. Eng. (IDE), Halmstad Univ., Halmstad, Sweden
pp. 532-539

An Argumentation Framework for Reasoning about Bounded Resources (Abstract)

P. Besnard , IRIT, Univ. de Toulouse, Toulouse, France
E. Gregoire , CRIL, Univ. d'Artois, Lens, France
B. Raddaoui , CRIL, Univ. d'Artois, Lens, France
pp. 540-547

Revising Qualitative Constraint Networks: Definition and Implementation (Abstract)

J. Hue , Inst. fur Inf., Albert-Ludwigs-Univ. Freiburg, Freiburg, Germany
M. Westphal , Inst. fur Inf., Albert-Ludwigs-Univ. Freiburg, Freiburg, Germany
pp. 548-555

Narrowing Extended Resolution (Abstract)

N. Prcovic , LSIS, Aix-Marseille Univ., Marseille, France
pp. 556-563

An Argumentation-Based Approach for Decision Making (Abstract)

J. Muller , SAP Res., Belfast, UK
A. Hunter , SAP Res., Belfast, UK
pp. 564-571

A New Semantics for Logic Programs Capturing and Extending the Stable Model Semantics (Abstract)

B. Benhamou , Lab. des Sci. de l'Inf. et des Syst. (LSIS), Aix-Marseille Univ., Marseille, France
P. Siegel , Lab. des Sci. de l'Inf. et des Syst. (LSIS), Aix-Marseille Univ., Marseille, France
pp. 572-579

Extended Partial-Order Dynamic Backtracking Algorithm for Dynamically Changed Environments (Abstract)

Y. Acodad , Fac. of Sci., Mohammed the Fifth Univ., Agdal Rabat, Morocco
I. Benelallam , Fac. of Sci., Mohammed the Fifth Univ., Agdal Rabat, Morocco
S. Hammoujan , Fac. of Sci., Mohammed the Fifth Univ., Agdal Rabat, Morocco
E. H. Bouyakhf , Fac. of Sci., Mohammed the Fifth Univ., Agdal Rabat, Morocco
pp. 580-587

An Automatic Decomposition Method for Qualitative Spatial and Temporal Reasoning (Abstract)

J. Hue , Inst. fur Inf., Albert-Ludwigs-Univ. Freiburg, Freiburg, Germany
M. Westphal , Inst. fur Inf., Albert-Ludwigs-Univ. Freiburg, Freiburg, Germany
S. Wolfl , Inst. fur Inf., Albert-Ludwigs-Univ. Freiburg, Freiburg, Germany
pp. 588-595

Qualitative Spatial Reasoning Using Topological and Directional Information in OWL (Abstract)

G. Christodoulou , Dept. of Electron. & Comput. Eng., Tech. Univ. of Crete (TUC), Chania, Greece
E. G. M. Petrakis , Dept. of Electron. & Comput. Eng., Tech. Univ. of Crete (TUC), Chania, Greece
S. Batsakis , Dept. of Electron. & Comput. Eng., Tech. Univ. of Crete (TUC), Chania, Greece
pp. 596-602

Qualitative Spatial and Temporal Reasoning with Answer Set Programming (Abstract)

Jason Jingshi Li , IC/IIF/LIA (Artificial Intell. Lab.), Ecole Polytech. Fed. de Lausanne (EPFL), Lausanne, Switzerland
pp. 603-609

Structuring Typical Evolutions Using Temporal-Driven Constrained Clustering (Abstract)

M. Rizoiu , ERIC Lab., Univ. Lumiere Lyon 2, Lyon, France
J. Velcin , ERIC Lab., Univ. Lumiere Lyon 2, Lyon, France
S. Lallich , ERIC Lab., Univ. Lumiere Lyon 2, Lyon, France
pp. 610-617

Compiling Domain Consequences (Abstract)

A. Papadopoulos , Cork Constraint Comput. Centre, Univ. Coll. Cork, Cork, Ireland
B. O'Sullivan , Cork Constraint Comput. Centre, Univ. Coll. Cork, Cork, Ireland
pp. 618-625

Aerial: A Framework to Support Human Decision Making in a Constrained Environment (Abstract)

P. Dumas , THALES, Elencourt, France
A. E. F. Seghrouchni , LIP6, Paris, France
P. Taillibert , LIP6, Paris, France
pp. 626-633

A Rule-Based Model for Normalization of SMS Text (Abstract)

O. A. Khan , Dept. of Comput. Sci., SBASSE Lahore Univ. of Manage. Sci. (LUMS), Lahore, Pakistan
A. Karim , Dept. of Comput. Sci., SBASSE Lahore Univ. of Manage. Sci. (LUMS), Lahore, Pakistan
pp. 634-641

Hybrid Correlational Graphical Models for Reasoning in Detecting Systems (Abstract)

Dongyu Shi , Dept. of Comput. Sci. & Technol., East China Normal Univ., Shanghai, China
Sufang Xu , WorleyParsons, Shanghai, China
pp. 650-657

Ranking and Selecting Association Rules Based on Dominance Relationship (Abstract)

S. Bouker , LIMOS, Clermont Univ., Clermont-Ferrand, France
R. Saidi , LIMOS, Clermont Univ., Clermont-Ferrand, France
S. B. Yahia , Dept. des Sci. de l'Inf., Fac. des Sci. de Tunis, Tunis, Tunisia
E. M. Nguifo , LIMOS, Clermont Univ., Clermont-Ferrand, France
pp. 658-665

A Probabilistic Combination Approach to Improve Outlier Detection (Abstract)

M. Bouguessa , Dept. d'Inf., Univ. du Quebec a Montreal, Montreal, QC, Canada
pp. 666-673

Evaluation of a Cascade Hybrid Recommendation as a Combination of One-Class Classification and Collaborative Filtering (Abstract)

A. S. Lampropoulos , Dept. of Inf., Univ. of Piraeus, Piraeus, Greece
D. N. Sotiropoulos , Dept. of Inf., Univ. of Piraeus, Piraeus, Greece
G. A. Tsihrintzis , Dept. of Inf., Univ. of Piraeus, Piraeus, Greece
pp. 674-681

Data Mining Based Collaborative Analysis of Microarray Data (Abstract)

G. Tsiliki , Bioinf. & Med. Inf.Team, Biomed. Res. Found., Athens, Greece
S. Kossida , Bioinf. & Med. Inf.Team, Biomed. Res. Found., Athens, Greece
N. Friesen , Knowledge Discovery Group, Fraunhofer Inst. IAIS, St. Augustin, Germany
S. Rueping , Knowledge Discovery Group, Fraunhofer Inst. IAIS, St. Augustin, Germany
M. Tzagarakis , Comput. Technol. Inst. & Press ”Diophantus”, Rio Patras, Greece
N. Karacapilidis , Comput. Technol. Inst. & Press ”Diophantus”, Rio Patras, Greece
pp. 682-689

Multiclass Semi-supervised Learning for Animal Behavior Recognition from Accelerometer Data (Abstract)

J. Tanha , Inf. Inst., Univ. of Amsterdam, Amsterdam, Netherlands
M. V. Someren , Inf. Inst., Univ. of Amsterdam, Amsterdam, Netherlands
M. de Bakker , Inf. Inst., Univ. of Amsterdam, Amsterdam, Netherlands
W. Bouteny , Biodiversity & Ecosyst. Dynamics Inst., Univ. of Amsterdam, Amsterdam, Netherlands
J. Shamoun-Baranesy , Biodiversity & Ecosyst. Dynamics Inst., Univ. of Amsterdam, Amsterdam, Netherlands
H. Afsarmanesh , Inf. Inst., Univ. of Amsterdam, Amsterdam, Netherlands
pp. 690-697

A Tri-training Based Transfer Learning Algorithm (Abstract)

Xiaobo Liu , Sch. of Comput. Sci., China Univ. of Geosci., Wuhan, China
H. Zhang , Fac. of Comput. Sci., Univ. of New Brunswick, Fredericton, NB, Canada
Zhihua Cai , Sch. of Comput. Sci., China Univ. of Geosci., Wuhan, China
Guangjun Wang , Exp. Teaching Center of Inf. Technol., China Univ. of Geosci., Wuhan, China
pp. 698-703

Efficient Reinforcement Learning in Adversarial Games (Abstract)

I. E. Skoulakis , Dept. of Electron. & Comput. Eng., Tech. Univ. of Crete, Chania, Greece
M. G. Lagoudakis , Dept. of Electron. & Comput. Eng., Tech. Univ. of Crete, Chania, Greece
pp. 704-711

A Model Based Reinforcement Learning Approach Using On-Line Clustering (Abstract)

N. Tziortziotis , Dept. of Comput. Sci., Univ. of Ioannina, Ioannina, Greece
K. Blekas , Dept. of Comput. Sci., Univ. of Ioannina, Ioannina, Greece
pp. 712-718

Tagging Choreographic Data for Data Mining and Classification (Abstract)

C-A Ioan , Politeh. Univ. of Bucharest, Bucharest, Romania
J. Velcin , Lab. ERIC, Univ. Lumiere Lyon 2, Lyon, France
S. Trausan-Matu , Politeh. Univ. of Bucharest, Bucharest, Romania
pp. 719-726

Label Space Transfer Learning (Abstract)

S. Al-Stouhi , Dept. of Comput. Eng., Wayne State Univ., Detroit, MI, USA
C. K. Reddy , Dept. of Comput. Eng., Wayne State Univ., Detroit, MI, USA
D. E. Lanfear , Heart & Vascular Inst., Henry Ford Hosp., Detroit, MI, USA
pp. 727-734

Document Classification by Computing an Echo in a Very Simple Neural Network (Abstract)

C. Brouard , LIG, AMA Team, UPMF - Grenoble2, Grenoble, France
pp. 735-741

Data Selection Using Decision Tree for SVM Classification (Abstract)

A. Lopez-Chau , Univ. Autonoa del Estado de Mexico, Mexico City, Mexico
L. L. Garcia , Univ. Autonoa del Estado de Mexico, Mexico City, Mexico
J. Cervantes , Univ. Autonoa del Estado de Mexico, Mexico City, Mexico
Xiaoou Li , CINVESTAV-IPN, Mexico City, Mexico
Wen Yu , CINVESTAV-IPN, Mexico City, Mexico
pp. 742-749

An Unsupervised Segmentation Method for Retinal Vessel Using Combined Filters (Abstract)

W. S. Oliveira , Center for Inf., CIn Fed. Univ. of Pernambuco - UFPE, Recife, Brazil
T. I. Ren , Center for Inf., CIn Fed. Univ. of Pernambuco - UFPE, Recife, Brazil
G. D. C. Cavalcanti , Center for Inf., CIn Fed. Univ. of Pernambuco - UFPE, Recife, Brazil
pp. 750-756

Image Fusion Combining Frequency Domain Techniques Based on Focus (Abstract)

H. R. Albuquerque , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
T. I. Ren , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
G. D. C. Cavalcanti , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
pp. 757-762

Competence Enhancement for Nearest Neighbor Classification Rule by Ranking-Based Instance Selection (Abstract)

Cristiano de Santana Pereira , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
G. D. C. Cavalcanti , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
pp. 763-769

Combining Color and Topology for Partial Matching (Abstract)

Dali F. D. dos Santos , Sch. of Comput., Fed. Univ. of Uberlandia, Uberlandia, Brazil
Ilmerio R. da Silva , Sch. of Comput., Fed. Univ. of Uberlandia, Uberlandia, Brazil
D. Guliato , Sch. of Comput., Fed. Univ. of Uberlandia, Uberlandia, Brazil
M. J. Fonseca , INESC-ID/IST, Tech. Univ. Lisbon, Lisbon, Portugal
pp. 770-777

Automated Acoustic Classification of Bird Species from Real -Field Recordings (Abstract)

I. Mporas , Dept. of Electr. & Comput. Eng., Univ. of Patras, Patras, Greece
T. Ganchev , Dept. of Electr. & Comput. Eng., Univ. of Patras, Patras, Greece
O. Kocsis , Dept. of Electr. & Comput. Eng., Univ. of Patras, Patras, Greece
N. Fakotakis , Dept. of Electr. & Comput. Eng., Univ. of Patras, Patras, Greece
O. Jahn , Zoologisches Forschungsmuseum Alexander Koenig, Bonn, Germany
K. Riede , Zoologisches Forschungsmuseum Alexander Koenig, Bonn, Germany
K. L. Schuchmann , Zoologisches Forschungsmuseum Alexander Koenig, Bonn, Germany
pp. 778-781

Link Prediction in Complex Networks by Supervised Rank Aggregation (Abstract)

M. Pujari , LIPN, Univ. Paris Nord, Villetaneuse, France
R. Kanawati , LIPN, Univ. Paris Nord, Villetaneuse, France
pp. 782-789

Author Identification in Imbalanced Sets of Source Code Samples (Abstract)

E. Chatzicharalampous , Dept. of Inf. & Commun. Syst. Eng., Univ. of the Aegean, Karlovassi, Greece
G. Frantzeskou , Dept. of Inf. & Commun. Syst. Eng., Univ. of the Aegean, Karlovassi, Greece
E. Stamatatos , Dept. of Inf. & Commun. Syst. Eng., Univ. of the Aegean, Karlovassi, Greece
pp. 790-797

Sorted Pareto Dominance: An Extension to Pareto Dominance and Its Application in Soft Constraints (Abstract)

C. O'Mahony , Cork Constraint Comput. Centre, Univ. Coll. Cork, Cork, Ireland
N. Wilson , Cork Constraint Comput. Centre, Univ. Coll. Cork, Cork, Ireland
pp. 798-805

A New Algorithm for Fuzzy Clustering Able to Find the Optimal Number of Clusters (Abstract)

A. Balkis , Fac. of Sci., Tunis Univ. Tunis El-Manar, Tunis, Tunisia
S. B. Yahia , Fac. of Sci., Tunis Univ. Tunis El-Manar, Tunis, Tunisia
A. Bouzeghoub , Inst. TELECOM, TELECOM SudParis, Evry, France
pp. 806-813

Adaptive Fuzzy Rule-Based Classification System Integrating Both Expert Knowledge and Data (Abstract)

Wenyin Tang , Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore, Singapore
K. Z. Mao , Sch. of Electr. & Electron. Eng., Nanyang Technol. Univ., Singapore, Singapore
Lee Onn Mak , DSO Nat. Labs., Singapore, Singapore
Gee Wah Ng , DSO Nat. Labs., Singapore, Singapore
pp. 814-821

FMIG: Fuzzy Multilevel Interior Growing Self-Organizing Maps (Abstract)

M. Tlili , Res. Groups on Intell. Machines, Univ. of Sfax, Sfax, Tunisia
T. Ayadi , Res. Groups on Intell. Machines, Univ. of Sfax, Sfax, Tunisia
T. M. Hamdani , Res. Groups on Intell. Machines, Univ. of Sfax, Sfax, Tunisia
A. M. Alimi , Res. Groups on Intell. Machines, Univ. of Sfax, Sfax, Tunisia
pp. 822-827

Mining Fuzzy Association Rules from Heterogeneous Probabilistic Datasets (Abstract)

Bin Pei , Key Lab. of Data Eng. & Knowledge Eng., MOE, Beijing, China
Tingting Zhao , Key Lab. of Data Eng. & Knowledge Eng., MOE, Beijing, China
Suyun Zhao , Key Lab. of Data Eng. & Knowledge Eng., MOE, Beijing, China
Hong Chen , Key Lab. of Data Eng. & Knowledge Eng., MOE, Beijing, China
pp. 828-835

Possible and Necessary Answer Sets of Possibilistic Answer Set Programs (Abstract)

K. Bauters , Dept. of Appl. Math. & Comput. Sci., Univ. Gent, Ghent, Belgium
S. Schockaert , Sch. of Comput. Sci. & Inf., Cardiff Univ., Cardiff, UK
M. De Cock , Dept. of Appl. Math. & Comput. Sci., Univ. Gent, Ghent, Belgium
D. Vermeir , Dept. of Comput. Sci., Vrije Univ. Brussel, Brussels, Belgium
pp. 836-843

Track-Person Association Using a First-Order Probabilistic Model (Abstract)

T. Geier , Inst. of Artificial Intell., Ulm Univ., Ulm, Germany
S. Biundo , Inst. of Artificial Intell., Ulm Univ., Ulm, Germany
S. Reuter , Inst. of Meas., Control & Microtechnol., Ulm Univ., Ulm, Germany
K. Dietmayer , Inst. of Meas., Control & Microtechnol., Ulm Univ., Ulm, Germany
pp. 844-851

Petroglyph Recognition Using Self-Organizing Maps and Fuzzy Visual Language Parsing (Abstract)

V. Deufemia , Facult`a di Sci. MM. FF. NN, Univ. di Salerno, Fisciano, Italy
L. Paolino , Facult`a di Sci. MM. FF. NN, Univ. di Salerno, Fisciano, Italy
H. de Lumley , Lab. Departemental de prehistoire du Lazaret, Nice, France
pp. 852-859

Extracting Knowledge from Web Search Engine Results (Abstract)

A. Kanavos , Comput. Eng. & Inf. Dept., Univ. of Patras, Patras, Greece
E. Theodoridis , Comput. Eng. & Inf. Dept., Univ. of Patras, Patras, Greece
A. Tsakalidis , Comput. Eng. & Inf. Dept., Univ. of Patras, Patras, Greece
pp. 860-867

On the Complexity and Algorithms of Coalition Structure Generation in Overlapping Coalition Formation Games (Abstract)

Yusen Zhan , Dept. of Comput. Sci. & Technol., Nanjing Univ., Nanjing, China
Jun Wu , Sch. of Comput. & Inf. Sci., Hohai Univ., Nanjing, China
Chongjun Wang , Dept. of Comput. Sci. & Technol., Nanjing Univ., Nanjing, China
Junyuan Xie , Dept. of Comput. Sci. & Technol., Nanjing Univ., Nanjing, China
pp. 868-873

An Algorithm for Finding Robust and Stable Solutions for Constraint Satisfaction Problems with Discrete and Ordered Domains (Abstract)

L. Climent , Inst. de Autom. e Inf. Ind., Univ. Politec. de Valencia, Valencia, Spain
R. J. Wallace , Dept. of Comput. Sci. Western Gateway Building, Univ. Coll., Cork, Ireland
M. A. Salido , Inst. de Autom. e Inf. Ind., Univ. Politec. de Valencia, Valencia, Spain
F. Barber , Inst. de Autom. e Inf. Ind., Univ. Politec. de Valencia, Valencia, Spain
pp. 874-879

Evaluating Simple Fully Automated Heuristics for Adaptive Constraint Propagation (Abstract)

A. Paparrizou , Dept. of Inf. & Telecommun. Eng., Univ. of Western Macedonia, Kozani, Greece
K. Stergiou , Dept. of Inf. & Telecommun. Eng., Univ. of Western Macedonia, Kozani, Greece
pp. 880-885

A Dimensionality Reduction Approach for Modular Neural Networks (Abstract)

E. Verissimo , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
Diogo da Silva Severo , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
G. D. C. Cavalcanti , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
Tsang Ing Ren , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
pp. 886-891

Local Search Based on Conflict Analysis for the Satisfiability Problem (Abstract)

D. Habet , Aix-Marseille Univ., Marseille, France
D. Toumi , Aix-Marseille Univ., Marseille, France
pp. 892-897

Comparing FBTSeg and NNTree Implementations with Established Ensemble Methods (Abstract)

R. A. F. Santos , Serasa Experian Co., Fac. Impacta de Tecnol., São Paulo, Brazil
R. S. M. de Barros , Centro de Inf., Univ. Fed. de Pernambuco, Recife, Brazil
pp. 898-903

Improved Self-Generating Prototypes Algorithm for Imbalanced Datasets (Abstract)

D. V. R. Oliveira , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
G. R. Magalhaes , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
G. D. C. Cavalcanti , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
T. I. Ren , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
pp. 904-909

Solving the Coalition Structure Generation Problem with MaxSAT (Abstract)

Xiaojuan Liao , Grad. Sch. of Inf. Sci. & Electr. Eng., Kyushu Univ., Fukuoka, Japan
M. Koshimura , Fac. of Inf. Sci. & Electr. Eng., Kyushu Univ., Fukuoka, Japan
H. Fujita , Fac. of Inf. Sci. & Electr. Eng., Kyushu Univ., Fukuoka, Japan
R. Hasegawa , Fac. of Inf. Sci. & Electr. Eng., Kyushu Univ., Fukuoka, Japan
pp. 910-915

Encoding Hash Functions as a SAT Problem (Abstract)

F. Legendre , Univ. of Reims Champagne-Ardenne, Moulin de la Housse Reims, France
G. Dequen , MIS Amiens, Univ. of Picardie Jules Verne, Amiens, France
M. Krajecki , Univ. of Reims Champagne-Ardenne, Moulin de la Housse Reims, France
pp. 916-921

Advanced Block Detection and Quantification of Fibrotic Areas in Microscopy Images of Obstructive Nephropathy (Abstract)

T. Goudas , Dept. of Comput. Sci. & Biomed. Inf., Univ. of Central Greece, Lamia, Greece
I. Maglogiannis , Dept. of Comput. Sci. & Biomed. Inf., Univ. of Central Greece, Lamia, Greece
A. Chatziioannou , Inst. of Biol. Res. & Biotechnol., Nat. Hellenic Res. Found., Athens, Greece
pp. 928-932

Working as a Team: Using Social Criteria in the Timed Patrolling Problem (Abstract)

Cyril Poulet , LIP6, Univ. Pierre et Marie Curie, Paris, France
V. Corruble , LIP6, Univ. Pierre et Marie Curie, Paris, France
A. E. F. Seghrouchni , LIP6, Univ. Pierre et Marie Curie, Paris, France
pp. 933-938

Extending Linear Relaxation for User Interface Layout (Abstract)

N. Jamil , Dept. of Comput. Sci., Univ. of Auckland, Auckland, New Zealand
J. Mueller , Dept. of Comput. Sci., Univ. of Auckland, Auckland, New Zealand
C. Lutteroth , Dept. of Comput. Sci., Univ. of Auckland, Auckland, New Zealand
G. Weber , Dept. of Comput. Sci., Univ. of Auckland, Auckland, New Zealand
pp. 939-946

A Fast Technique for White Blood Cells Nuclei Automatic Segmentation Based on Gram-Schmidt Orthogonalization (Abstract)

M. M. A. Mohamed , Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB, Canada
B. Far , Dept. of Electr. & Comput. Eng., Univ. of Calgary, Calgary, AB, Canada
pp. 947-952

A New Exploration Method Based on Multi-layer Evidence Grid Map (MLEGM) and Improved A* Algorithm for Mobile Robots (Abstract)

E. Esmaeili , Dept. of Electr., Comput. & IT Eng., Qazvin Azad Univ., Qazvin, Iran
V. Azizi , Dept. of Electr., Comput. & IT Eng., Qazvin Azad Univ., Qazvin, Iran
S. Samizadeh , Dept. of Electr., Comput. & IT Eng., Qazvin Azad Univ., Qazvin, Iran
S. Ziyadloo , Dept. of Electr., Comput. & IT Eng., Qazvin Azad Univ., Qazvin, Iran
M. R. Meybodi , Dept. of Comput. & IT Eng., Amir Kabir Univ. of Technol., Tehran, Iran
pp. 953-957

Collective Classification for Sentiment Analysis in Social Networks (Abstract)

J. Rabelo , Centro de Inf., Univ. Fed. de Pernambuco, Recife, Brazil
R. B. C. Prudencio , Centro de Inf., Univ. Fed. de Pernambuco, Recife, Brazil
F. Barros , Centro de Inf., Univ. Fed. de Pernambuco, Recife, Brazil
pp. 958-963

Controlled Syntax for Thai Software Requirements Specification (Abstract)

K. Thongglin , Centre de Rech. en Linguistique Lucien Tesniere, Univ. de Franche-Comte, Besancon, France
S. Cardey , Centre de Rech. en Linguistique Lucien Tesniere, Univ. de Franche-Comte, Besancon, France
P. Greenfield , Centre de Rech. en Linguistique Lucien Tesniere, Univ. de Franche-Comte, Besancon, France
pp. 964-969

EERtoOWL2: A Tool for Transforming RDB Data to OWL2 for Data Validation (Abstract)

A. Yajai , Dept. of Comput. & Inf. Sci., King Mongkut' Univ. of Technol. North Bangkok, Bangkok, Thailand
G. Sriharee , Dept. of Comput. & Inf. Sci., King Mongkut' Univ. of Technol. North Bangkok, Bangkok, Thailand
pp. 970-975

A New Vision-Based Method for Extracting Academic Information from Conference Web Pages (Abstract)

Peng Wang , Sch. of Comput. Sci. & Eng., Southeast Univ., Nanjing, China
Mingqi Zhou , Coll. of Software Eng., Southeast Univ., Nanjing, China
Yue You , Dept. of Comput. Sci. & Eng., Shanghai Jiao Tong Univ., Shanghai, China
Xiang Zhang , Sch. of Comput. Sci. & Eng., Southeast Univ., Nanjing, China
pp. 976-981

Texture and Shadow Insensitive Metric for Image-Based Reconstruction (Abstract)

Rui Wu , Key Lab. of Virtual Reality Technol. & Syst., Beihang Univ., Beijing, China
Xu Zhao , Key Lab. of Virtual Reality Technol. & Syst., Beihang Univ., Beijing, China
Zhong Zhou , Key Lab. of Virtual Reality Technol. & Syst., Beihang Univ., Beijing, China
Wei Wu , Key Lab. of Virtual Reality Technol. & Syst., Beihang Univ., Beijing, China
pp. 988-993

An Accurate Eye Center Localization Method for Low Resolution Color Imagery (Abstract)

E. Skodras , Dept. of Electr. & Comput. Eng., Univ. of Patras, Patras, Greece
N. Fakotakis , Dept. of Electr. & Comput. Eng., Univ. of Patras, Patras, Greece
pp. 994-997

An Ontology-Based Representation of the Twitter REST API (Abstract)

K. Togias , Sch. of Sci. & Technol., Hellenic Open Univ., Patras, Greece
A. Kameas , Sch. of Sci. & Technol., Hellenic Open Univ., Patras, Greece
pp. 998-1003

Dynamic Path Consistency for Spatial Reasoning (Abstract)

L. Belouaer , ENSICAEN, Univ. de Caen, Caen, France
M. Bouzid , ENSICAEN, Univ. de Caen, Caen, France
M. Mouhoub , Dept. of Comput. Sci., Univ. of Regina, Regina, SK, Canada
pp. 1004-1009

(Generic) Packages for Logic Programs (Abstract)

F. Jacquenet , Lab. Hubert Curien, Univ. of St.-Etienne, St.-Etienne, France
M. Bernard , Lab. Hubert Curien, Univ. of St.-Etienne, St.-Etienne, France
pp. 1010-1015

Using Answer Set Programming for an Scalable Implementation of Defeasible Argumentation (Abstract)

T. Alsinet , Dept. of Comput. Sci., Univ. of Lleida, Lleida, Spain
R. Bejar , Dept. of Comput. Sci., Univ. of Lleida, Lleida, Spain
L. Godo , Artificial Intell. Res. Inst. (IIIA), Barcelona, Spain
F. Guitart , Dept. of Comput. Sci., Univ. of Lleida, Lleida, Spain
pp. 1016-1021

Shortening Plans by Local Re-planning (Abstract)

T. Balyo , Fac. of Math. & Phys., Charles Univ. in Prague Prague, Prague, Czech Republic
R. Bartak , Fac. of Math. & Phys., Charles Univ. in Prague Prague, Prague, Czech Republic
P. Surynek , Fac. of Math. & Phys., Charles Univ. in Prague Prague, Prague, Czech Republic
pp. 1022-1028

Extending Resolution by Dynamic Substitution of Boolean Functions (Abstract)

S. Jabbour , CRIL, Univ. Lille-Nord de France, Lens, France
J. Lonlac , CRIL, Univ. Lille-Nord de France, Lens, France
L. Sais , CRIL, Univ. Lille-Nord de France, Lens, France
pp. 1029-1034

Cognitive Maps for Knowledge Represenation and Reasoning (Abstract)

K. Sedki , AGROCAMPUS OUEST, IRISA, Rennes, France
L. B. de Beaufort , AGROCAMPUS OUEST, IRISA, Rennes, France
pp. 1035-1040

A Modified PMF Model Incorporating Implicit Item Associations (Abstract)

Qiang Liu , Inst. of Artificial Intell., Zhejiang Univ., Hangzhou, China
Chengwei Wang , Inst. of Artificial Intell., Zhejiang Univ., Hangzhou, China
Congfu Xu , Inst. of Artificial Intell., Zhejiang Univ., Hangzhou, China
pp. 1041-1046

Computing the Extensions of an Argumentation Framework Based on Its Strongly Connected Components (Abstract)

Beishui Liao , Zhejiang Univ., Hangzhou, China
Huaxin Huang , Zhejiang Univ., Hangzhou, China
pp. 1047-1052

Controlling the Production of Neuro-symbolic Rules (Abstract)

I. Hatzilygeroudis , Dept. of Comput. Eng. & Inf., Univ. of Patras, Patras, Greece
J. Prentzas , Dept. of Educ. Sci. in Pre-Sch. Age, Democritus Univ. of Thrace, Alexandroupolis, Greece
pp. 1053-1058

Discovering Highly Informative Feature Set over High Dimensions (Abstract)

Chongsheng Zhang , Henan Univ., Kaifeng, China
F. Masseglia , Zenith Team, INRIA, Montpellier, France
Xiangliang Zhang , MINE Team, KAUST, Thuwal, Saudi Arabia
pp. 1059-1064

Data Complexity Measures and Nearest Neighbor Classifiers: A Practical Analysis for Meta-learning (Abstract)

G. D. C. Cavalcanti , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
T. I. Ren , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
B. A. Vale , Center for Inf., Fed. Univ. of Pernambuco, Recife, Brazil
pp. 1065-1069

Spatial Locality Weighting of Features Using Saliency Map with a Bag-of-Visual-Words Approach (Abstract)

R. de Carvalho Soares , Sch. of Comput., Fed. Univ. of Uberlandia, Uberlandia, Brazil
I. R. da Silva , Sch. of Comput., Fed. Univ. of Uberlandia, Uberlandia, Brazil
D. Guliato , Sch. of Comput., Fed. Univ. of Uberlandia, Uberlandia, Brazil
pp. 1070-1075

Object-Oriented Representation and Hierarchical Reinforcement Learning in Infinite Mario (Abstract)

M. Joshi , Comput. Sci. & Eng., VNIT, Nagpur, India
R. Khobragade , Comput. Sci. & Eng., VNIT, Nagpur, India
S. Sarda , Comput. Sci. & Eng., VNIT, Nagpur, India
U. Deshpande , Comput. Sci. & Eng., VNIT, Nagpur, India
S. Mohan , Comput. Sci. & Eng., Univ. of Michigan, Ann Arbor, Ann Arbor, MI, USA
pp. 1076-1081

Model Representation for Facial Expression Recognition Based on Shape and Texture (Abstract)

Adriana Cruz de Gois , Center for Inf. (CIn), Fed. Univ. of Pernambuco (UFPE), Recife, Brazil
V. O. Antonino , Center for Inf. (CIn), Fed. Univ. of Pernambuco (UFPE), Recife, Brazil
Tsang Ing Ren , Center for Inf. (CIn), Fed. Univ. of Pernambuco (UFPE), Recife, Brazil
G. D. C. Cavalcanti , Center for Inf. (CIn), Fed. Univ. of Pernambuco (UFPE), Recife, Brazil
pp. 1082-1087

User Modeling on Communication Characteristics Using Machine Learning in Computer-Supported Collaborative Multiple Language Learning (Abstract)

M. Virvou , Dept. of Inf., Univ. of Piraeus, Piraeus, Greece
E. Alepis , Dept. of Inf., Univ. of Piraeus, Piraeus, Greece
C. Troussas , Dept. of Inf., Univ. of Piraeus, Piraeus, Greece
pp. 1088-1093

A Parallel Radial Basis Probabilistic Neural Network for Scalable Data Mining in Distributed Memory Machines (Abstract)

Y. Kokkinos , Dept. of Appl. Inf., Univ. of Macedonia, Thessaloniki, Greece
K. Margaritis , Dept. of Appl. Inf., Univ. of Macedonia, Thessaloniki, Greece
pp. 1094-1099

A Cluster-Based Classifier Ensemble as an Alternative to the Nearest Neighbor Ensemble (Abstract)

A. Jurek , Sch. of Comput. & Math., Univ. of Ulster, Newtownabbey, UK
Yaxin Bi , Sch. of Comput. & Math., Univ. of Ulster, Newtownabbey, UK
Shengli Wu , Sch. of Comput. & Math., Univ. of Ulster, Newtownabbey, UK
C. Nugent , Sch. of Comput. & Math., Univ. of Ulster, Newtownabbey, UK
pp. 1100-1105

Probabilistic Extension of Allen's Relations Using the Hourglass Model (Abstract)

S. Petridis , IIT, NCSR Demokritos, Aghia Paraskevi, Greece
C-A Psomas , Univ. of Athens, Athens, Greece
pp. 1106-1111

Another Step toward Reusability in Agent-Based Simulation: Multi-behaviors & aMVC (Abstract)

Y. Gangat , LIM, Univ. of La Reunion, St. Denis, Reunion
D. Payet , LIM, Univ. of La Reunion, St. Denis, Reunion
R. Courdier , LIM, Univ. of La Reunion, St. Denis, Reunion
pp. 1112-1119

MP-Draughts: Ordering the Search Tree and Refining the Game Board Representation to Improve a Multi-agent System for Draughts (Abstract)

V. A. R. Duarte , Comput. Sci. Dept., Fed. Univ. of Uberlandia-UFU, Uberlandia, Brazil
R. M. S. Julia , Comput. Sci. Dept., Fed. Univ. of Uberlandia-UFU, Uberlandia, Brazil
pp. 1120-1125

Cooperative Behaviors for the Self-Regulation of Autonomous Vehicles in Space Sharing Conflicts (Abstract)

M. Tlig , Univ. de Lorraine, Nancy, France
O. Buffet , INRIA, Nancy, France
O. Simonin , INRIA, Nancy, France
pp. 1126-1132

Formal Agent-Based Modelling and Simulation of Crowd Behaviour in Emergency Evacuation Plans (Abstract)

I. Stamatopoulou , Int. Fac., Univ. of Sheffield, Thessaloniki, Greece
I. Sakellariou , Dept. of Appl. Inf., Univ. of Macedonia, Thessaloniki, Greece
P. Kefalas , Int. Fac., Univ. of Sheffield, Thessaloniki, Greece
pp. 1133-1138

Geometric Construction Problem Solving in Computer-Aided Learning (Abstract)

P. Schreck , Univ. de Strasbourg, Strasbourg, France
P. Mathis , Univ. de Strasbourg, Strasbourg, France
J. Narboux , Univ. de Strasbourg, Strasbourg, France
pp. 1139-1144

Relational Learning with Polynomials (Abstract)

O. Kuelka , Dept. of Cybern., Czech Tech. Univ. in Prague, Prague, Czech Republic
A. Szaboova , Dept. of Cybern., Czech Tech. Univ. in Prague, Prague, Czech Republic
Filip Zelezný , Dept. of Cybern., Czech Tech. Univ. in Prague, Prague, Czech Republic
pp. 1145-1150

Bootstrap Sampling Based Data Cleaning and Maximum Entropy SVMs for Large Datasets (Abstract)

Senzhang Wang , State Key Lab. of Software Dev. Environ., Beihang Univ., Beijing, China
Zhoujun Li , State Key Lab. of Software Dev. Environ., Beihang Univ., Beijing, China
Xiaoming Zhang , State Key Lab. of Software Dev. Environ., Beihang Univ., Beijing, China
pp. 1151-1156

Automatic Discovery and Transfer of MAXQ Hierarchies in a Complex System (Abstract)

Hongbing Wang , Sch. of Comput. Sci. & Eng., Southeast Univ., Nanjing, China
Wenya Li , Sch. of Comput. Sci. & Eng., Southeast Univ., Nanjing, China
Xuan Zhou , DEKE Lab., Renmin Univ. of China, Beijing, China
pp. 1157-1162

StreamAR: Incremental and Active Learning with Evolving Sensory Data for Activity Recognition (Abstract)

Z. S. Abdallah , Centre for Distrib. Syst. & Software Eng., Monash Univ., Melbourne, VIC, Australia
M. M. Gaber , Sch. of Comput., Univ. of Portsmouth, Portsmouth, UK
B. Srinivasan , Centre for Distrib. Syst. & Software Eng., Monash Univ., Melbourne, VIC, Australia
S. Krishnaswamy , Inst. for Infocomm Res. (I2R), Singapore, Singapore
pp. 1163-1170

Novel Class Detection and Feature via a Tiered Ensemble Approach for Stream Mining (Abstract)

B. Parker , Dept. of Comput. Sci., Univ. of Texas at Dallas, Richardson, TX, USA
A. M. Mustafa , Dept. of Comput. Sci., Univ. of Texas at Dallas, Richardson, TX, USA
L. Khan , Dept. of Comput. Sci., Univ. of Texas at Dallas, Richardson, TX, USA
pp. 1171-1178

StreamDB Sensor Networks (Abstract)

P. Furtado , Univ. Coimbra Polo II, Coimbra, Portugal
pp. 1186-1193

Author Index - Volume I (PDF)

pp. 1194-1199
80 ms
(Ver 3.3 (11022016))