17. ICTAI 2005: Hong Kong, China

Introduction

• Message from the General Chair.
  
• Committees.
  

Agents and Distributed AI

• Harry Chia-Hung Hsu, Alan Liu:
  Applying a Taxonomy of Formation Control in Developing a Robotic System. 3-10
  
• Reza Zafarani, Mohammad Reza Yazdchi, Seyed Ali Seyed Salehi:
  An ANFIS Based Method of Agent Behavior in Simulated Soccer Agents. 11-18
  
• Zhiming Zhao, Adam Belloum, Peter M. A. Sloot, Bob Hertzberger:
  Agent Technology and Scientific Workflow Management in an E-Science Environment. 19-23
  
• Abraham Bagherjeiran, Ricardo Vilalta, Christoph F. Eick:
  Content-Based Image Retrieval through a Multi-Agent Meta-Learning Framework. 24-28
  
• Salah El Falou, François Bourdon:
  A MDP Solution for Mobile Agents Displacement. 29-33
  
• Peter Harvey, Chee Fon Chang, Aditya K. Ghose:
  Practical Application of Support-Based Distributed Search. 34-38
  
• Kaivan Kamali, Xiaocong Fan, John Yen:
  Multiparty Proactive Communication in Agent Teamwork. 39-43
  
• Shuliang Zhao, Guorui Jiang, Tiyun Huang, Xiaoyan Yang:
  The Deception Detection and Restraint in Multi-agent System. 44-48
  

AI in Logistics and Supply Chain Management

• Naoto Mukai, Toyohide Watanabe, Jun Feng:
  Proactive Route Planning Based on Expected Rewards for Transport Systems. 51-57
  
• Yue Geng, Yanzhi Li, Andrew Lim:
  A Very Large-Scale Neighborhood Search Approach to Capacitated Warehouse Routing Problem. 58-65
  
• Souhir Charfeddine, Félix Mora-Camino, Karim Zbidi:
  A Fuzzy Approach of Decision Making for an Airline. 66-73
  
• Andrew Lim, Fan Wang:
  Robust Airport Gate Assignment. 74-81
  
• Hoong Chuin Lau, Thomas Ou, Melvyn Sim:
  Robust Temporal Constraint Network. 82-88
  
• Lean Yu, Kin Keung Lai, Shouyang Wang:
  Designing a Hybrid AI System as a Forex Trading Decision Support Tool. 89-93
  
• Huiye Ma, Ho-fung Leung:
  Adaptive Soft Bid Determination in Bidding Strategies for Continuous Double Auctions. 94-98
  
• Yunsong Guo, Andrew Lim, Brian Rodrigues, Jiqing Tang:
  Using a Lagrangian Heuristic for a Combinatorial Auction Problem. 99-103
  
• Chiu Wo Choi, Jimmy Ho-Man Lee:
  Controlling Salinity in a Potable Water Supply System Using a Constraint Programming Approach. 104-108
  

Constraint Satisfaction

• Tan Saw Chin:
  An Ant Algorithm for Single-Hop Wavelength Assignment in WDM Mesh Network. 111-117
  
• Arnaud Lallouet, Andrei Legtchenko:
  Consistency for Partially Defined Constraints. 118-125
  
• Dingjun Chen, Chung-Yeol Lee, Cheol Hoon Park:
  Hybrid Genetic Algorithm and Simulated Annealing (HGASA) in Global Function Optimization. 126-133
  
• António Morgado, João P. Marques Silva:
  Good Learning and Implicit Model Enumeration. 131-136
  
• Malek Mouhoub, Samira Sadaoui:
  Improving Lotos Simulation Using Constraint Propagation. 137-142
  
• Malek Mouhoub, Amrudee Sukpan:
  A New Temporal CSP Framework Handling Composite Variables and Activity Constraints. 143-149
  
• Vasco M. Manquinho, João P. Marques Silva:
  Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts. 150-155
  

Data Mining

• Dragomir Yankov, Eamonn J. Keogh, Stefano Lonardi, Ada Wai-Chee Fu:
  Dot Plots for Time Series Analysis. 159-168
  
• Zhang Qiang, Zhao Zheng, Sun Zhi Wei, Edward Daley:
  WINP: A Window-Based Incremental and Parallel Clustering Algorithm for Very Large Databases. 169-176
  
• Andrew Vande Moere, Justin James Clayden:
  Cellular Ants: Combining Ant-Based Clustering with Cellular Automata. 177-184
  
• Xiaoyuan Su, Miroslav Kubat, Moiez A. Tapia, Chao Hu:
  Query Size Estimation Using Clustering Techniques. 185-189
  
• Shi Zhong, Taghi M. Khoshgoftaar, Shyam Varan Nath:
  A Clustering Approach to Wireless Network Intrusion Detection. 190-196
  
• Ming Li, Ronan Sleep:
  A Robust Approach to Sequence Classification. 197-201
  
• Hongwei Mo, Lifang Xu:
  Immune Clone Algorithm for Mining Association Rules on Dynamic Databases. 202-206
  
• Ranga Raju Vatsavai, Shashi Shekhar, Thomas E. Burk:
  A Semi-Supervised Learning Method for Remote Sensing Data Mining. 207-211
  
• Atorn Nuntiyagul, Kanlaya Naruedomkul, Nick Cercone, Damras Wongsawang:
  PKIP: Feature Selection in Text Categorization for Item Banks. 212-216
  

Evolutionary Computation

• Yi Hong, Qingsheng Ren, Jin Zeng, Yuchou Chang:
  Convergence of Estimation of Distribution Algorithms in Optimization of Additively Noisy Fitness Functions. 219-223
  
• Song Hui:
  Performance Evaluation of Hybrid Genetic Algorithm for Assembly Line Scheduling. 224-231
  
• Sunisa Rimcharoen, Daricha Sutivong, Prabhas Chongstitvatana:
  Prediction of the Stock Exchange of Thailand Using Adaptive Evolution Strategies. 232-236
  
• Jing Liu, Wenbo Xu, Jun Sun:
  Quantum-Behaved Particle Swarm Optimization with Mutation Operator. 237-240
  
• Abdelwahed Trabelsi, Mohamed Amir Esseghir:
  New Evolutionary Bankruptcy Forecasting Model Based on Genetic Algorithms and Neural Networks. 241-245
  

Knowledge Representation

• Maroua Bouzid, Antoni Ligeza:
  Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and Their Applications. 249-253
  
• Ben Liu, Hejie Chen, Wei He:
  Deriving User Interface from Ontologies: A Model-Based Approach. 254-259
  
• Huajun Chen, Zhaohui Wu, Yuxin Mao:
  Rewriting Queries Using Views for RDF-Based Relational Integration. 260-264
  
• Jingtao Zhou, Shusheng Zhang, Mingwei Wang, Han Zhao, Chao Zhang, Peng Li, Xiaofeng Dong, Kefei Wang:
  Element Matching by Concatenating Linguistic-Based Matchers and Constraint-Based Matcher. 265-269
  
• Jingde Cheng:
  Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems. 270-274
  

Machine Learning

• Xiaoqiang Zhang, Zhongliang Zhu, Pingzhi Fan:
  Intrusion Detection Based on Cross-Correlation of System Call Sequences. 277-283
  
• Yasser El-Sonbaty, Amgad Neematallah:
  Multiway Decision Tree Induction Using Projection and Merging (MPEG). 284-293
  
• Zhou Feng, Wynne Hsu, Mong-Li Lee:
  Efficient Pattern Discovery for Semistructured Data. 294-301
  
• Yan Zhou, Madhuri S. Mulekar, Praveen Nerellapalli:
  Adaptive Spam Filtering Using Dynamic Feature Space. 302-309
  
• Yan Zhang, Xingquan Zhu, Xindong Wu, Jeffrey P. Bond:
  ACE: An Aggressive Classifier Ensemble with Error Detection, Correction, and Cleansing. 310-317
  
• Sachin Agarwal, Pallavi Agarwal:
  A Fuzzy Logic Approach to Search Results - Personalization by Tracking User - Web Navigation Pattern and Psychology. 318-325
  
• Vasile Rus, Arthur C. Graesser, Philip M. McCarthy, King-Ip Lin:
  A Study on Textual Entailment. 326-333
  
• K. P. Lam:
  Learning Optimal Values from Random Walk. 334-339
  
• Yaxin Bi, Sally I. McClean, Terry J. Anderson:
  Improving Classification Decisions by Multiple Knowledge. 340-347
  
• Mohammed Belkhatir:
  A Symbolic Query-by-Example Framework for the Image Retrieval Signal/Semantic Integration. 348-355
  
• Hirohito Oh'uchi, Takao Miura, Isamu Shioya:
  Document Retrieval Using Projection by Frequency Distribution. 356-361
  
• Sara Khodayari, Mohammad Javad Yazdanpanah:
  Network Routing Based on Reinforcement Learning in Dynamically Changing Networks. 362-366
  
• Bofeng Zhang, Yue Liu:
  Customized Explanation in Expert System for Earthquake Prediction. 367-371
  
• Dongjun Cai, Zongwei Luo, Kun Qian, Yang Gao:
  Towards Efficient Selection of Web Services with Reinforcement Learning Process. 372-376
  
• Yoshinori Itai, Hyoungseop Kim, Seiji Ishikawa, Shigehiko Katsuragawa, Takayuki Ishida, Katsumi Nakamura, Akiyoshi Yamamoto:
  Automatic Segmentation of Lung Areas Based on SNAKES and Extraction of Abnormal Areas. 377-381
  
• Gang Wang, Weifeng Su, Xiangye Xiao, Frederick H. Lochovsky:
  Latent Process Model for Manifold Learning. 382-386
  
• Reza Rastegar, Arash Hariri, M. Mazoochi:
  A Convergence Proof for the Population Based Incremental Learning Algorithm. 387-391
  
• Shen Dong, Fazel Naghdy:
  Manipulation Skills Acquisition through State Classification and Dimension Decrease. 392-396
  
• Chunshien Li, Kuo-Hsiang Cheng, Jiann-Der Lee:
  Hybrid Learning Neuro-Fuzzy Approach for Complex Modeling Using Asymmetric Fuzzy Sets. 397-401
  
• Michiko Yamana, Hiroshi Murata, Takashi Onoda, Tohru Ohashi, Seiji Kato:
  Development of System for Crossarm Reuse Judgment on the Basis of Classification of Rust Images Using Support Vector Machine. 402-406
  
• Jean-Philippe Poli:
  Predicting Program Guides for Video Structuring. 407-411
  
• Liangxiao Jiang, Yuanyuan Guo:
  Learning Lazy Naive Bayesian Classifiers for Ranking. 412-416
  
• Chia Te Chu, Ching-Han Chen:
  High Performance Iris Recognition Based on LDA and LPCC. 417-421
  

Neural Networks and Kernel Machines

• Farid Boudjemaï, Philippe Biela Enberg, Jack-Gérard Postaire:
  Dynamic Adaptation and Subdivision in 3D-SOM: Application to Surface Reconstruction. 425-430
  
• Nasser Sadati, Rasoul Ghadami, Mahdi Bagherpour:
  Adaptive Neural Network Multiple Models Sliding Mode Control of Robotic Manipulators Using Soft Switching. 431-438
  
• Nasser Sadati, Damoun Langary:
  A Neural Network Aided Adaptive Second-Order Gaussian Filter for Tracking Maneuvering Targets. 439-446
  
• Pradeep M. Patil, S. N. Kulkarni, A. J. Patil, D. D. Doye, U. V. Kulkarni:
  Modular General Fuzzy Hypersphere Neural Network. 447-450
  
• Zhili Zhang, Changgeng Guo, Shu Yu, Deyu Qi, Songqian Long:
  Web Prediction Using Online Support Vector Machine. 451-456
  
• Nasser Sadati, Mahdi Bagherpour, Rasoul Ghadami:
  Adaptive Multi-Model CMAC-Based Supervisory Control for Uncertain MIMO Systems. 457-461
  
• Xiaohui Zhang, Shangshang Sun, Mingjiang Zhang:
  An Artificial Intelligent Approach on Longevity Modeling. 462-465
  
• Chun-hua Li, Zheng-ding Lu, Ke Zhou:
  SVR-Parameters Selection for Image Watermarking. 466-470
  
• Nasser Sadati:
  A Two-Level Gradient Based Approach for Intelligent Coordination of Large-Scale Systems - Part I. 471-478
  
• Jiang Meng:
  Penalty OBS Scheme for Feedforward Neural Network. 479-483
  
• Nasser Sadati, Ehsan Elhamifar:
  Application of Neural Networks to Decentralized Control of Robotic Manipulators with High Degree of Freedom. 484-488
  

Planning and Scheduling

• Andrew Lim, Zhou Xu:
  Searching Optimal Resequencing and Feature Assignment on an Automated Assembly Line. 491-498
  
• Sufen Li, Yunlong Zhu, Xiaoying Li:
  Earliness/Tardiness Flow-Shop Scheduling under Uncertainty. 499-506
  
• Chih-Wei Hsu, Yixin Chen:
  Subgoal Ordering and Granularity Control for Incremental Planning. 507-514
  
• Olivier Buffet:
  Reachability Analysis for Uncertain SSPs. 515-522
  
• Chenggang Wang, James G. Schmolze:
  Planning with POMDPs Using a Compact, Logic-Based Representation. 523-530
  
• Bassam Baki, Maroua Bouzid, Antoni Ligeza:
  Generating Low Cost Plans under Uncertainty and Temporal Constraints. 531-536
  

Reasoning

• Takao Sumitomo, Kazuko Takahashi:
  A Qualitative Treatment of Spatial Data. 539-548
  
• Yannick Pencolé:
  Assistance for the Design of a Diagnosable Component-Based System. 549-556
  
• Amir Danak, Ashkan Rahimi Kian:
  Fuzzy Contributive Games: An Extension to the Game of Civic Duty. 557-561
  
• Mingxia Gao, Chunnian Liu:
  Extending OWL by Fuzzy Description Logic. 562-567
  
• Sylvie Coste-Marquis, Caroline Devred, Pierre Marquis:
  Prudent Semantics for Argumentation Frameworks. 568-572
  
• Habiba Belleili, Maroua Bouzid, Mokhtar Sellami:
  Cooperative Scheduling Among Time-Bounded Agents. 573-577
  
• Amir Danak, Farzad Rastegar, Ashkan Rahimi Kian:
  A Fuzzy Approach to Modeling the Knowledge of Decision-Makers. 578-583
  
• Jean-François Condotta, Gérard Ligozat, Stavros Tripakis:
  Ultimately Periodic Qualitative Constraint Networks for Spatial and Temporal Reasoning. 584-588
  
• Priti Chandra, Arun K. Pujari:
  Minimality and Convexity Properties in Spatial CSPs. 589-593
  
• Cédric Rose, Cherif Smaili, François Charpillet:
  A Dynamic Bayesian Network for Handling Uncertainty in a Decision Support System Adapted to the Monitoring of Patients Treated by Hemodialysis. 594-598
  
• Geoffroy Aubry, Vincent Risch:
  Toward a Logical Tool for Generating New Arguments in an Argumentation Based Framework. 599-603
  

Vision

• Hyoungseop Kim, Masaki Maekado, Joo Kooi Tan, Seiji Ishikawa, Masaaki Tsukuda:
  Automatic Extraction of Ground-Glass Opacity Shadows on CT Images of the Thorax by Correlation between Successive Slices. 607-612
  
• Haihua Liu, Changsheng Xie, Yi Lei:
  An Unsymmetrical Dual Cross Search Algorithm for Fast Block-Matching Motion Estimation. 613-620
  
• Jamal Saboune, François Charpillet:
  Using Interval Particle Filtering for Marker Less 3D Human Motion Capture. 621-627
  
• Alireza Ahrary, Li Tian, Sei-ichiro Kamata, Masumi Ishikawa:
  An Autonomous Sewer Robots Navigation Based on Stereo Camera Information. 628-633
  
• Pradeep M. Patil, Shekhar R. Suralkar, Faiyaz B. Sheikh:
  Rotation Invariant Thinning Algorithm to Detect Ridge Bifurcations for Fingerprint Identification. 634-641
  
• Huchuan Lu, Wengang Shi:
  Accurate Active Shape Model for Face Alignment. 642-646
  
• Ratree Juntanasub, Nidapan Sureerattanan:
  Car License Plate Recognition through Hausdorff Distance Technique. 647-651
  
• Ka Yan Wong, Chi Lap Yip:
  An Intelligent Tropical Cyclone Eye Fix System Using Motion Field Analysis. 652-656
  
• Pradeep M. Patil, Shekhar R. Suralkar, Hemant K. Abhyankar:
  Fingerprint Verification Based on Fixed Length Square Finger Code. 657-662
  

Posters

• Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Jie Xu:
  Reasoning Technique for Extended Fuzzy Description Logics. 665-666
  
• Shaozi Li, Wang Li, Changle Zhou:
  Research on Chinese Ellipsis Recovering Based on Discourse Representation Theory. 667-670
  
• Zhisong Pan, Hong Lian, Guyu Hu, Guiqiang Ni:
  An Integrated Model of Intrusion Detection Based on Neural Network and Expert System. 671-672
  
• Junhong Liu, Jorma K. Mattila, Jouni Lampinen:
  Training RBF Networks Using a DE Algorithm with Adaptive Control. 673-676
  
• Chong-Jun Wang, Wu-Jun Li, Lin Ding, Juan Tian, Shifu Chen:
  Image Segmentation Using Spectral Clustering. 677-678
  
• Naoto Mukai, Toyohide Watanabe:
  Behavioral Decision Based on Abstraction of Pheromone Distribution for Transport Vehicles. 679-680
  
• Ming-guang Zhang, Xing-gui Wang, Man-qiang Liu:
  Adaptive PID Control Based on RBF Neural Network Identification. 681-683
  
• Supaporn Buddeewong, Worapoj Kreesuradej:
  A New Association Rule-Based Text Classifier Algorithm. 684-685
  
• Ming-guang Zhang, Zhan-ming Li, Wen-hui Li:
  Study on Least Squares Support Vector Machines Algorithm and Its Application. 686-688
  
• HuaQing Min, XiJing Zheng, YanSheng Lu:
  Multi-Robot Avoidance Based on Co-Evolution Computation. 689-692
  
• Jean-Nicolas Bès, Philippe Jégou:
  Proving Graph Un-Colorability with a Consistency Check of CSP. 693-694
  
• Arit Thammano, Pruegsa Duangphasuk:
  Printed Thai Character Recognition Using the Hierarchical Cross-Correlation ARTMAP. 695-698
  
• Yunfeng Wu, Jinming Zhang, Cong Wang, Sin Chun Ng:
  Linear Decision Fusions in Multilayer Perceptrons for Breast Cancer Diagnosis. 699-700
  
• Yuxin Mao, William K. Cheung, Zhaohui Wu, Jiming Liu:
  Sub-Ontology Evolution for Service Composition with Application to Distributed E-Learning. 701-702
  
• Yu Sheng, Yonghai Wu:
  Motion Prediction in a High-Speed, Dynamic Environment. 703-705
  
• Spencer K. L. Fung, Ho-fung Leung, Jimmy Ho-Man Lee:
  Guided Complete Search for Nurse Rostering Problem. 706-707
  
• Edwige P. Fangseu Badjio, François Poulet:
  User Guidance: From Theory to Practice, the Case of Visual Data Mining. 708-709
  
• Shengli Xie, Zhiliang Xu:
  An Adaptive De-Blocking Algorithm Based on MRF. 710-711
  
• Wei Lu, Issa Traoré:
  Determining the Optimal Number of Clusters Using a New Evolutionary Algorithm. 712-713