Moonis Ali Floriana Esposito (Eds.)

Innovationsin AppliedArtificial Intelligence

18th International Conference onIndustrial and Engineering Applications ofArtificial Intelligence and Expert Systems, IEA/AIE 2005Bari, Italy, June 22-24, 2005Proceedings

4y Springer

Table of Contents

Invited Contributions

Applications of Knowledge DiscoveryKatharina Morik 1

Spoken Language Communication with Machines: The Long andWinding Road from Research to Business

Roberto Pieraccini, David Lubensky 6

Computer Vision

Motion-Based Stereovision Method with Potential Utility in RobotNavigation

Jose M. Ldpez-Valles, Miguel A. Fernandez,Antonio Fernandez-Caballero, Maria T. Lopez, Jose Mira,Ana E. Delgado 16

Object Tracking Using Mean Shift and Active ContoursJae Sik Chang, Eun Yi Kim, KeeChul Jung, Hang Joon Kim 26

Place Recognition System from Long-Term ObservationsDo Joon Jung, Hang Joon Kim .._ 36

Real-Time People Localization and Tracking Through Fixed StereoVision

S. Bahadori, L. Iocchi, G.R. Leone, D. Nardi, L. Scozzafava . . 44

Face Recognition by Kernel Independent Component AnalysisT. Martiriggiano, M. Leo, T. D'Orazio, A. Distante 55

Head Detection of the Car Occupant Based on Contour Models andSupport Vector Machines

Yong-Guk Kim, Jeong-Eom Lee, Sang-Jun Kim, Soo-Mi Choi,Gwi-Tae Park 59

A Morphological Proposal for Vision-Based Path PlanningF.A. Pujol, J.M. Garcia, M. Pujol, R. Rizo, M.J. Pujol 62

A New Video Surveillance System Employing Occluded Face DetectionJaywoo Kim, Younghun Sung, Sang Min Yoon, Bo Gun Park 65

X Table of Contents

Image Analysis

Intelligent Vocal Cord Image Analysis for Categorizing LaryngealDiseases

Antanas Verikas, Adas Gelzinis, Marija Bacauskiene,Virgilijus Uloza 69

Keyword Spotting on Hangul Document Images Using Two-LevelImage-to-image Matching

Sang Cheol Park, Hwa Jeong Son, Chang Bu Jeong,Soo Hyung Kim 79

Robust Character Segmentation System for Korean Printed PostalImages

Sung-Kun Jang, Jung-Hwan Shin, Hyun-Hwa Oh, Seung-Ick Jang,Sung-Il Chien 82

Speech Recognition

Case Based Reasoning Using Speech Data for Clinical AssessmentRodo Guillen, Rachel Usrey 85

Feature-Table-Based Automatic Question Generation for Tree-BasedState Tying: A Practical Implementation

Supphanat Kanokphara, Julie Carson-Berndsen 95

Speeding Up Dynamic Search Methods in Speech RecognitionGdbor Gosztolya, Andrds Kocsor 98

Robotics

Conscious Robot That Distinguishes Between Self and Others andImplements Imitation Behavior

Tohru Suzuki, Keita Inaba, Junichi Takeno 101

Distance-Based Dynamic Interaction of Humanoid Robot with MultiplePeople

Tsuyoshi Tasaki, Shohei Matsumoto, Hayato Ohba, Mitsuhiko Toda,Kazuhiro Komatani, Tetsuya Ogata, Hiroshi G. Okuno I l l

Movement Prediction from Real-World Images Using a Liquid StateMachine

Harold Burgsteiner, Mark Krb'll, Alexander Leopold,Gerald Steinbauer 121

Table of Contents XI

Robot Competition Using Gesture Based InterfaceHye Sun Park, Eun Yi Kim, Hang Joon Kim 131

Agents

Agent Support for a Grid-Based High Energy Physics ApplicationAman Sahani, Ian Mathieson, Lin Padgham 134

Feasibility of Multi-agent Simulation for the Trust and Tracing GameSebastiaan Meijer, Tim Verwaart 145

Multi-agent Support for Distributed Engineering DesignCamelia Chira, Ovidiu Chira, Thomas Roche 155

Reliable Multi-agent Systems with Persistent Publish/SubscribeMessaging

Milovan Tosic, Arkady Zaslavsky 165

A Strategy-Proof Mechanism Based on Multiple Auction SupportAgents

Takayuki Ito, Tokuro Matsuo, Tadachika Ozono,Toramatsu Shintani 175

Automated Teleoperation of Web-Based Devices Using Semantic WebServices

Young- Guk Ha, Jaehong Kim, Minsu Jang, Joo-Chan Sohn,Hyunsoo Yoon 185

Context Awarable Self-configuration System for Distributed ResourceManagement

Seunghwa Lee, Eunseok Lee 189

A Decision Support System for Inventory Control Using Planning andDistributed Agents

Robert Signorile 192

Planning

Controlling Complex Physical Systems Through Planning andScheduling Integration

Amedeo Cesta, Simone Fratini 197

Plan Execution in Dynamic EnvironmentsGordon Fraser, Gerald Steinbauer, Franz Wotawa 208

XII Table of Contents

Structural Advantages for Ant Colony Optimisation Inherent inPermutation Scheduling Problems

James Montgomery, Marcus Randall, Tim Hendtlass 218

Incrementally Scheduling with Qualitative Temporal InformationFlorent Launay, Debasis Mitra 229

New Upper Bounds for the Permutation Flowshop Scheduling ProblemJoanna Jedrzejowicz, Piotr Jedrzejowicz 232

R-Tree Representations of Disaster Areas Based on ProbabilisticEstimation

Hiroyuki Mikuri, Naoto Mukai, Toyohide Watanabe 236

Human-Computer Interaction and Natural LanguageProcessing

AI/NLP Technologies Applied to Spacecraft Mission DesignMaria Teresa Pazienza, Marco Pennacchiotti, Michele Vindigni,Fabio Massimo Zanzotto 239

Automatic Word Spacing in Korean for Small Memory DevicesSeong-Bae Park, Eun-Kyung Lee, Yoon-Shik Tae 249

Generating Personalized Tourist Map DescriptionsB. De Carolis, G. Cozzolongo, S. Pizzutilo 259

Haptic Fruition of 3D Virtual Scene by Blind PeopleFabio De Felice, Floriana Renna, Giovanni Attolico,Arcangelo Distante .. 269

Ontology-Based Natural Language Parser for E-MarketplacesS. Coppi, T. Di Noia, E. Di Sciascio, F.M. Donini, A. Pinto 279

Towards Effective Adaptive Information Filtering Using NaturalLanguage Dialogs and Search-Driven Agents

Anita Ferreira-Cabrera, John A. Atkinson-Abutridy 290

Towards Minimization of Test Sets for Human-Computer SystemsFevzi Belli, Christof J. Budnik 300

Discovering Learning Paths on a Domain Ontology Using NaturalLanguage Interaction

Roberto Pirrone, Massimo Cossentino, Giovanni Pilato,Riccardo Rizzo, Giuseppe Russo 310

Table of Contents XIII

A Geometric Approach to Automatic Description of Iconic ScenesFilippo Vella, G i o v a n n i P i l a t o , Giorgio Vassallo, S a l v a t o r e Gaglio . . . . 3 1 5

Man-Machine Interface of a Support System for Analyzing Open-EndedQuestionnaires

Ayako Hiramatsu, Hiroaki Oiso, Taiki Shojima, Norihisa Komoda.... 3 1 8

Reasoning

A Holistic Approach to Test-Driven Model CheckingFevzi Belli, Baris Guldali 321

Inferring Definite-Clause Grammars to Express Multivariate Time SeriesGabriela Guimaraes, Luis Moniz Pereira 332

Obtaining a Bayesian Map for Data Fusion and Failure DetectionUnder Uncertainty

F. Aznar, M. Pujol, R. Rizo 342

Event Handling Mechanism for Retrieving Spatio-temporal Changes atVarious Detailed Level

Masakazu Ikezaki, Naoto Mukai, Toyohide Watanabe 353

Fault Localization Based on Abstract DependenciesFranz Wotawa, Safeeullah Soomro 357

Freeway Traffic Qualitative SimulationVicente R. Tomds, A. Luis Garcia 360

LEADSTO: A Language and Environment for Analysis of Dynamics bySimulaTiOn

Tibor Bosse, Catholijn M-. Jonker, Lourens van der Meij,Jan Treur 363

Prediction-Based Diagnosis and Loss Prevention Using Model-BasedReasoning

Erzsebet Nemeth, Rozdlia Lakner, Katalin M. Hangos,Ian T. Cameron 367

Machine Learning

An Algorithm Based on Counterfactuals for Concept Learning in theSemantic Web

Luigi Iannone, Ignazio Palmisano 370

XIV Table of Contents

Classification of Ophthalmologic Images Using an Ensemble of ClassifiersGiampaolo L. Libralao, Osvaldo C.P. Almeida,Andre C.P.L.F. Carvalho . 380

Comparison of Extreme Learning Machine with Support VectorMachine for Text Classification

Ying Liu, Han Tong Loh, Shu Beng Tor 390

Endoscopy Images Classification with Kernel Based LearningAlgorithms

Pawel Majewski, Wojciech Jedruch 400

Local Bagging of Decision StumpsS.B. Kotsiantis, G.E. Tsekouras, P.E. Pintelas 406

Methods for Classifying Spot Welding Processes: A Comparative Studyof Performance

Eija Haapalainen, Perttu Laurinen, Heli Junno, Lauri Tuovinen,Juha Roning 412

Minimum Spanning Trees in Hierarchical Multiclass Support VectorMachines Generation

Ana Carolina Lorena, Andre C.P.L.F. de Carvalho 422

One-Class Classifier for HFGWR Ship Detection UsingSimilarity-Dissimilarity Representation

Yajuan Tang, Zijie Yang 432

Improving the Readability of Decision Trees Using Reduced ComplexityFeature Extraction

Cesar Fernandez, Sampsa Laine, Oscar Reinoso,M. Asuncion Vicente i . . . 442

Intelligent Bayesian Classifiers in Network Intrusion DetectionAndrea Bosin, Nicoletta Dessi, Barbara Pes 445

Data Mining

Analyzing Multi-level Spatial Association Rules Through aGraph-Based Visualization

Annalisa Appice, Paolo Buono 448

Data Mining for Decision Support: An Application in Public Health CareAleksander Pur, Marko Bohanec, Bojan Cestnik, Nada Lavrac,Marko Debeljak, Tadeja Kopac 459

Table of Contents XV

A Domain-Independent Approach to Discourse-Level KnowledgeDiscovery from Texts

John A. Atkinson-Abutridy 470

An Efficient Subsequence Matching Method Based on IndexInterpolation

Hyun- Gil Koh, Woong-Kee Loh, Sang- Wook Kim 480

A Meteorological Conceptual Modeling Approach Based on SpatialData Mining and Knowledge Discovery

Yubin Yang, Hui Lin, Zhongyang Guo, Jixi Jiang 490

Mining Generalized Association Rules on Biomedical LiteratureMargherita Berardi, Michele Lapi, Pietro Leo, Corrado Loglisci 500

Mining Information Extraction Rules from Datasheets WithoutLinguistic Parsing

Rakesh Agrawal, Howard Ho, Francois Jacquenet,Marielle Jacquenet 510

An Ontology-Supported Data Preprocessing Technique for Real-LifeDatabases

Bong-Horng Chu, In-Kai Liao, Cheng-Seen Ho 521

Genetic Algorithms

A Fuzzy Genetic Algorithm for Real-World Job Shop SchedulingCarole Fa,yad, Sanja Petrovic "." 524

Pareto-Optimal Hardware for Digital Circuits Using SPEANadia Nedjah, Luiza de Macedo Mourelle •. 534

Application of a Genetic Algorithm to Nearest Neighbour ClassificationSemen Simkin, Tim Verwaart, Hans Vrolijk 544

Applying Genetic Algorithms for Production Scheduling and ResourceAllocation. Special Case: A Small Size Manufacturing Company

A. Ricardo Contreras, C. Virginia Valero,J.M. Angelica Pinninghoff 547

An Efficient Genetic Algorithm for TSK-Type Neural Fuzzy IdentifierDesign

Cheng-Jian Lin, Yong-Ji Xu, Chi-Yung Lee 551

XVI Table of Contents

Hardware Architecture for Genetic AlgorithmsNadia Nedjah, Luiza de Macedo Mourelle 554

Node-Depth Encoding for Evolutionary Algorithms Applied toMulti-vehicle Routing Problem

Giampaolo L. Libralao, Fabio C. Pereira, Telma W. Lima,Alexandre C.B. Delbem 557

Novel Approach to Optimize Quantitative Association Rules byEmploying Multi-objective Genetic Algorithm

Mehmet Kaya, Reda Alhajj 560

Neural Networks

GMDH-Type Neural Network Modeling in Evolutionary OptimizationDongwon Kim, Gwi-Tae Park 563

Predicting Construction Litigation Outcome Using Particle SwarmOptimization

Kwokwing Chau 571

Self-organizing Radial Basis Function Network Modeling for RobotManipulator

Dongwon Kim, Sung-Hoe Huh, Sam-Jun Seo, Gwi-Tae Park 579

A SOM Based Approach for Visualization of GSM Network PerformanceData

Pasi Lehtimaki, Kimmo Raivio .' 588

Using an Artificial Neural Network to Improve Predictions of WaterLevels Where Tide Charts Fail

Carl Steidley, Alex Sadovski, Phillipe Tissot, Ray Bachnak,Zack Bowles 599

Canonical Decision Model Construction by Extracting the MappingFunction from Trained Neural Networks

Chien-Chang Hsu, Yun-Chen Lee 609

Detecting Fraud in Mobile Telephony Using Neural NetworksH. Grosser, P. Britos, R. Garcia-Martinez 613

An Intelligent Medical Image Understanding Method Using Two-TierNeural Network Ensembles

Yubin Yang, Shifu Chen, Zhihua Zhou, Hui Lin, Yukun Ye 616

Table of Contents XVII

Decision Support and Heuristic Search

The Coordination of Parallel Search with Common ComponentsStephen Chen, Gregory Pitt 619

A Decision Support Tool Coupling a Causal Model and a Multi-objectiveGenetic Algorithm

Ivan Blecic, Arnaldo Cecchini, Giuseppe A. Trunfio 628

Emergent Restructuring of Resources in Ant Colonies: A Swarm-BasedApproach to Partitioning

Elise Langham 638

The Probabilistic Heuristic In Local (PHIL) Search Meta-strategyMarcus Randall 648

Search on Transportation Network for Location-Based ServiceJun Feng, Yuelong Zhu, Naoto Mukai, Toyohide Watanabe 657

A Specification Language for Organisational Performance IndicatorsViara Popova, Jan Treur 667

A New Crowded Comparison Operator in Constrained MultiobjectiveOptimization for Capacitors Sizing and Siting in Electrical DistributionSystems

Salvatore Favuzza, Mariano Giuseppe Ippolito,Eleonora Riva Sanseverino 678

A Two-Phase Backbone-Based Search Heuristic for Partial MAX-SAT- An Initial Investigation

Mohamed El Bachir Menai 681

Fuzzy Logic

An Algorithm for Peer Review Matching Using Student Profiles Basedon Fuzzy Classification and Genetic Algorithms

Raquel M. Crespo, Abelardo Pardo, Juan Pedro Somolinos Perez, sCarlos Delgado Kloos 685

Pose-Invariant Face Detection Using Edge-Like Blob Map and FuzzyLogic

Young Ouk Kim, SungHo Jang, Sang Jin Kim, Chang-Woo Park,Joonki Paik 695

XVIII Table of Contents

A Fuzzy Logic-Based Approach for Detecting Shifting Patterns inCross-Cultural Data

George E. Tsekouras, Dimitris Papageorgiou, Sotiris B. Kotsiantis,Christos Kalloniatis, Panagiotis Pintelas 705

Minimal Knowledge Anonymous User Profiling for Personalized ServicesAlfredo Milani 709

Knowledge Management

Formal Goal Generation for Intelligent Control SystemsRichard Dapoigny, Patrick Barlatier, Laurent Foulloy, Eric Benoit . .. 712

MoA: OWL Ontology Merging and Alignment Tool for the SemanticWeb

Jaehong Kim, Minsu Jang, Young-Guk Ha, Joo-Chan Sohn,Sang Jo Lee 722

Optimizing RDF Storage Removing Redundancies: An AlgorithmLuigi Iannone, Ignazio Palmisano, Domenico Redavid 732

Complementing Search Engines with Text MiningLeszek Borzemski, Piotr Lopatka 743

A Decision Support Approach to Modeling Trust in NetworkedOrganizations

Nada Lavrac, Peter Ljubic, Mitja Jermol, Gregor Papa 746

An Integrated Approach to Rating and Filtering Web ContentElisa Bertino, Elena Ferrari, Andrea Perego, Gian Piero Zarri 749

Applications

Collaborative Case-Based Preference ElicitationPaolo Avesani, Angelo Susi, Daniele Zanoni 752

Complex Knowledge in the Environmental Domain: Building IntelligentArchitectures for Water Management

Dino Borri, Domenico Camarda, Laura Grassini 762

An Expert System for the Oral Anticoagulation TreatmentBenedetta Barbieri, Giacomo Gamberoni, Evelina Lamma,Paola Mello, Piercamillo Pavesi, Sergio Storari 773

Table of Contents XIX

Formal Verification of Control Software: A Case StudyAndreas Griesmayer, Roderick Bloem, Martin Hautzendorfer,Franz Wotawa 783

GRAPE: An Expert Review Assignment Component for ScientificConference Management Systems

Nicola Di Mauro, Teresa M.A. Basile, Stefano Ferilli 789

A Nurse Scheduling System Based on Dynamic Constraint SatisfactionProblem

Hiromitsu Hattori, Takayuki Ito, Tadachika Ozono,Toramatsu Shintani 799

A Semi-autonomous Wheelchair with HelpStarH. Uchiyama, L. Deligiannidis, W.D. Potter, B.J. Wimpey,D. Barnhard, R. Deng, S. Radhakrishnan 809

ST-Modal Logic to Correlate Traffic Alarms on Italian Highways:Project Overview and Example Installations

Stefania Bandini, Davide Bogni, Sara Manzoni, Alessandro Mosca . . . 8 1 9

Train Rescheduling Algorithm Which Minimizes Passengers'Dissatisfaction

Tomii Norio, Tashiro Yoshiaki, Tanabe Noriyuki, Hirai Chikara,Muraki Kunimitsu 829

Case-Based Reasoning for Financial PredictionDragan Simic, Zoran Budimac, Vladimir Kurbalija-,Mirjana Ivanovic 839

The Generation of Automated Learner Feedback Based on IndividualProficiency Levels •

Mariana Lilley, Trevor Barker, Carol Britton 842

A Geographical Virtual Laboratory for the Recomposition of FragmentsNicola Mosca, Floriana Renna, Giovanna Carlomagno,Giovanni Attolico, Arcangelo Distante 845

A Meta-level Architecture for Strategic Reasoning in Naval PlanningMark Hoogendoorn, Catholijn M. Jonker, Peter-Paul van Maanen,Jan Treur 848

XX Table of Contents

A Support Method for Qualitative Simulation-Based Learning SystemTokuro Matsuo, Takayuki Ito, Toramatsu Shintani 851

Author Index 855