The Community for Technology Leaders
2012 IEEE 24th International Conference on Tools with Artificial Intelligence (2002)
Washington, DC
Nov. 4, 2002 to Nov. 6, 2002
ISSN: 1082-3409
ISBN: 0-7695-1849-4
TABLE OF CONTENTS
Introduction

null (PDF)

pp. xii

null (PDF)

pp. xiii

null (PDF)

pp. xiv

null (PDF)

pp. xvi

null (PDF)

pp. xvii
Keynote Speeches
Session 1-A: Machine Learning I

Updating a Hybrid Rule Base with New Empirical Source Knowledge (Abstract)

Jim Prentzas , University of Patras and Computer Technology Institute
Athanasios Tsakalidis , University of Patras and Computer Technology Institute
Ioannis Hatzilygeroudis , University of Patras and Computer Technology Institute
pp. 9

Data Sniffing — Monitoring of Machine Learning for Online Adaptive Systems (Abstract)

Yan Liu , West Virginia University
Bojan Cukic , West Virginia University
Tim Menzies , West Virginia University
pp. 16

Machine Learning and Software Engineering (Abstract)

Du Zhang , California State University at Sacramento
Jeffrey J.P. Tsai , University of Illinois at Chicago
pp. 22
Session 1-B: Data Mining and Knowledge Discovery I

Data Mining Using Cultural Algorithms and Regional Schemata (Abstract)

Xidong Jin , Innovative Software Systems, Inc.
Robert G. Reynolds , Wayne State University
pp. 33

Data Mining for Selective Visualization of Large Spatial Datasets (Abstract)

Pusheng Zhang , University of Minnesota
Rulin Liu , University of Minnesota
Chang-Tien Lu , University of Minnesota
Shashi Shekhar , University of Minnesota
pp. 41

A Tool for Extracting XML Association Rules (Abstract)

Pier Luca Lanzi , Politecnico di Milano
Mika Klemettinen , Nokia Research Center
Alessandro Campi , Politecnico di Milano
Stefano Ceri , Politecnico di Milano
Daniele Braga , Politecnico di Milano
pp. 57
Session 1-C: Constraint Satisfaction

Calculus of Variations in Discrete Space for Constrained Nonlinear Dynamic Optimization (Abstract)

Benjamin W. Wah , University of Illinois at Urbana-Champaign
Yixin Chen , University of Illinois at Urbana-Champaign
pp. 67

On Temporal Planning as CSP (Abstract)

Amol Dattatraya Mali , University of Wisconsin at Milwaukee
pp. 75

Actions with Duration and Constraints: the Ramification Problem in Temporal Databases (Abstract)

Dimitris Plexousakis , University of Crete and Institute of Computer Science
Nikos Papadakis , University of Crete and Institute of Computer Science
pp. 83

A Lazy Divide and Conquer Approach to Constraint Solving (Abstract)

Saswat Anand , National University of Singapore
Siau-Cheng Khoo , National University of Singapore
Wei-Ngan Chin , National University of Singapore
pp. 91
Session 2-A: Intelligent Information Retrieval

Context Query in Information Retrieval (Abstract)

Kwok-Yan Lam , Tsinghua University
Chi-Hung Chi , National University of Singapore
Chen Ding , National University of Singapore
pp. 101

Ontologies for Knowledge Representation in a Computer-Based Patient Record (Abstract)

Øystein Nytrø , Norwegian University of Science and Technology
Anders Grimsmo , Norwegian University of Science and Technology
Elisabeth Bayegan , Norwegian University of Science and Technology
pp. 114

Ontology Construction for Information Selection (Abstract)

Latifur Khan , University of Texas at Dallas
Feng Luo , University of Texas at Dallas
pp. 122
Session 2-B: Planning and Scheduling I

Application of AI Planning Techniques to Automated Code Synthesis and Testing (Abstract)

Farokh B. Bastani , University of Texas at Dallas
I-Ling Yen , University of Texas at Dallas
Hui Ma , University of Texas at Dallas
John Linn , Texas Instruments Incorporated
Fiaz Mohamed , University of Texas at Dallas
pp. 131

Distributed Graphplan (Abstract)

Mark Iwen , University of Wisconsin at Milwaukee
Amol Dattatraya Mali , University of Wisconsin at Milwaukee
pp. 138

Crane Scheduling Using Tabu Search (Abstract)

Fei Xiao , National University of Singapore
Andrew Lim , National University of Singapore and Hong Kong University of Science and Technology
Yi Zhu , National University of Singapore
Brian Rodrigues , Singapore Management University
pp. 146

An Intelligent Brokering System to Support Multi-Agent Web-Based 4th-Party Logistics (Abstract)

Hoong Chuin Lau , National University of Singapore
Yam Guan Goh , National University of Singapore
pp. 154
Session 2-C: Intelligent Real-Time Systems

A TMO Based Approach to Structuring Real-Time Agents (Abstract)

K. H. (Kane) Kim , University of California at Irvine
pp. 165

Selection Process of Intelligent Decision Support Tool for Real-Time Monitoring System (Abstract)

Mark Shaughnessy , Northrop Grumman Information Technology Inc.
Thomas Bethem , NOAA Ocean Service
Janet Burton , NOAA Ocean Service
Haleh Vafaie , Northrop Grumman Information Technology Inc.
pp. 173

Dynamic Refinement of Classification Rules (Abstract)

Xindong Wu , University of Vermont
Kalyani K. Manchi , Colorado School of Mines
pp. 189
Session 3-A: Planning and Scheduling II

DSatz: A Directional SAT Solver for Planning (Abstract)

Amol Dattatraya Mali , University of Wisconsin at Milwaukee
Mark Iwen , University of Wisconsin at Milwaukee
pp. 199

Maintenance Scheduling of Oil Storage Tanks Using Tabu-Based Genetic Algorithm (Abstract)

Shu-Ching Chen , Florida International University
Chungnan Lee , National Sun Yat-Sen University
Chuan-Kang Ting , National Sun Yat-Sen University
Sheng-Tun Li , National Kaohsiung First University of Science and Technology
pp. 209

Transportation Modeling:An Artificial Life Approach (Abstract)

Panta Lučić , Virginia Polytechnic Institute and State University
Dušan Teodorović , Virginia Polytechnic Institute and State University
pp. 216

Adjusted Network Flow for the Shelf-Space Allocation Problem (Abstract)

Brian Rodrigues , Singapore Management University
Xingwen Zhang , National University of Singapore
Andrew Lim , National University of Singapore and Hong Kong Unversity of Science and Technology
Fei Xiao , National University of Singapore
pp. 224
Session 3-B: Machine Learning II

Error-Based Pruning of Decision Trees Grown on Very Large Data Sets Can Work! (Abstract)

Kevin W. Bowyer , University of Notre Dame
Lawrence O. Hall , University of South Florida
Richard Collins , University of South Florida
Robert Banfield , University of South Florida
pp. 233

Improving the Orthogonal Range Search k -Windows Algorithm (Abstract)

M. N. Vrahatis , University of Patras
D. Tasoulis , University of Patras
B. Boutsinas , University of Patras
P. Alevizos , University of Patras
pp. 239

Machine Learning for Software Engineering: Case Studies in Software Reuse (Abstract)

Tim Menzies , West Virginia University
Justin S. Di Stefano , West Virginia University
pp. 246

Protein Secondary Structure Prediction with Bayesian Learning Method (Abstract)

Du Zhang , California State University at Sacramento
Peng-Liang Wang , California State University at Sacramento
pp. 252
Session 3-C: Logic and Reasoning

Software Measurement Data Analysis Using Memory-Based Reasoning (Abstract)

Raymond A. Paul , Department of Defense
I-Ling Yen , University of Texas at Dallas
Farokh B. Bastani , University of Texas at Dallas
Venkata U. B. Challagulla , University of Texas at Dallas
pp. 261

Automatic Analysis of Composite Solvers (Abstract)

Eric Monfroy , Universit? de Nantes
Evgueni Petrov , Universit? de Nantes
pp. 276

A Tool for Belief Updating over Time in Bayesian Networks (Abstract)

Pramod K. Varshney , Syracuse University
Jie Yang , Syracuse University
Kishan G. Mehrotra , Syracuse University
Chilukuri K. Mohan , Syracuse University
pp. 284
Session 4-A: Natural Language Processing

Automated Diagnosis of Non-Native English Speaker's Natural Language (Abstract)

Richard Fox , Northern Kentucky University
Mari Bowden , University of Texas - Pan American
pp. 301

Logic Grammars for Diagnosis and Repair (Abstract)

Veronica Dahl , Simon Fraser University
Henning Christiansen , Roskilde University
pp. 307

Reasonning on Aspectual-Temporal Information in French within Conceptual Graphs (Abstract)

Tassadit Amghar , Universit? d?Angers
Delphine Battistelli , Universit? Paris-Sorbonne
Thierry Charnois , Universit? de Caen
pp. 315
Session 4-B: Multimedia and Image Processing

Word Endpoint Correction Techniques for a Text-to-Multimedia Composition System (Abstract)

Babak Hamidzadeh , University of British Columbia
Keith Turkowski , University of British Columbia
pp. 325

Projecting our Presence in Space and in Time (Abstract)

Daniel E. Cooke , Texas Tech University
pp. 333

A Clustering Based Approach to Efficient Image Retrieval (Abstract)

Zhongfei (Mark) Zhang , State University of New York at Binghamton
Ruofei Zhang , State University of New York at Binghamton
pp. 339

Active Tracking and Cloning of Facial Expressions Using Spatio-Temporal Information (Abstract)

Lijun Yin , State University of New York at Binghamton
Anup Basu , University of Alberta
Matt T. Yourst , Massachusetts Institute of Technology
pp. 347
Session 4-C: Data Mining and Knowledge Discovery II

Software Quality Classification Modeling Using The SPRINT Decision Tree Algorithm (Abstract)

Taghi M. Khoshgoftaar , Florida Atlantic University
Naeem Seliya , Florida Atlantic University
pp. 365

TimeSleuth: A Tool for Discovering Causal and Temporal Rules (Abstract)

Kamran Karimi , University of Regina
Howard J. Hamilton , University of Regina
pp. 375

Mining Characteristic Rules for Understanding Simulation Data (Abstract)

Sarah K. Johnson , MITRE Corporation
Philip S. Barry , MITRE Corporation
Theodore E. Meyer , MITRE Corporation
Jerzy Bala , MITRE Corporation
Jianping Zhang , MITRE Corporation
pp. 381

A Framework for Adaptive Mail Classification (Abstract)

Elio Masciari , Institute of Italian National Research Council
Giuseppe Manco , Institute of Italian National Research Council
Andrea Tagarelli , DEIS-UNICAL
pp. 387
Panel Session

AI Directions (PDF)

pp. null
Session 5-A: Internet Software

Building Secure Survivable Semantic Webs (Abstract)

Bhavani Thuraisingham , The MITRE Corporation
pp. 395

An Agent-Based Approach to Inference Prevention in Distributed Database Systems (Abstract)

LiWu Chang , Naval Research Laboratory
Ira S. Moskowitz , Naval Research Laboratory
James Tracy , Naval Research Laboratory
pp. 413
Session 5-B: Planning and Scheduling III

Interactive Verification of Game Design and Playing Strategies (Abstract)

Dimitris Kalles , AHEAD Relationship Mediators SA and University of Patras
Eirini Ntoutsi , University of Patras and Computer Technology Institute
pp. 425

Metric Estimation via a Fuzzy Grade-of-Membership Model Applied to Analysis of Business Opportunities (Abstract)

Bruce B. Whitehead , Northrop Grumman Information Technology TASC
Lisa M. Talbot , Simplex, LLC
Bryan G. Talbot , Northrop Grumman Information Technology TASC
pp. 431

Local Search Algorithm to Improve the Local Search (Abstract)

Philippe David , Ecole des Mines de Nantes
Mohamed Tounsi , Ecole des Mines de Nantes
pp. 438
Session 5-C: Multi-Agents

The Semantics of Proactive Communication Acts among Team-Based Agents (Abstract)

John Yen , Penn State University
Xiaocong Fan , Penn State University
pp. 447

Agent Warehouse: A New Paradigm for Mobile Agent Deployment (Abstract)

John Sim , National University of Singapore
Kwok-Yan Lam , Tsinghua University
Chi-Hung Chi , National University of Singapore
pp. 455
Session 6-A: Neural Network and Applications

Hiding a Logo Watermark into the Multiwavelet Domain Using Neural Networks (Abstract)

Nengchao Wang , Huazhong University of Science & Technology
Feng Xiong , Guangdong Commercial College
Jun Zhang , Huazhong University of Science & Technology
pp. 477

Function Approximation Using Robust Wavelet Neural Networks (Abstract)

Sheng-Tun Li , National Kaohsiung First University of Science and Technology
Shu-Ching Chen , Florida International University
pp. 483

A Neural-Network Approach to Modeling and Analysis (Abstract)

Cheng-Wu Chen , National Central University
Chen-Yuan Chen , National Sun Yat-Sen University
Jing-Dong Hwang , National Central University
Wei-Ling Chiang , National Central University
pp. 489

A Trace-Scaling Agent for Parallel Application Tracing (Abstract)

Jesus Labarta , Universitat Politècnica de Catalunya
Felix Freitag , Universitat Politècnica de Catalunya
Jordi Caubet , Universitat Politècnica de Catalunya
pp. 494

A Neural Network-Based Segmentation Tool for Color Images (Abstract)

M. Yang , Wright State University
D. Goldman , Soft Sight Inc
N. Bourbakis , Wright State University
pp. 500
Session 6-B: Software Engineering and Knowledge Sharing

Study for Fusion of Different Sources to Determine Relevance (Abstract)

Kwok-Yan Lam , Tsinghua University
Chen Ding , National University of Singapore
Chi-Hung Chi , National University of Singapore
pp. 515

A Genetic Testing Framework for Digital Integrated Circuits (Abstract)

Alessandro Fin , Università di Verona
Franco Fummi , Università di Verona
Elizabeth M. Rudnick , University of Illinois at Urbana-Champaign
Xiaoming Yu , University of Illinois at Urbana-Champaign
pp. 521

Evolution and Evaluation of Software Quality Models (Abstract)

C. V. Ramamoorthy , University of California at Berkley
pp. 543
Author Index

Author Index (PDF)

pp. 547
78 ms
(Ver 3.1 (10032016))