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