The Community for Technology Leaders
2012 IEEE 24th International Conference on Tools with Artificial Intelligence (1995)
Herndon, Virginia, USA
Nov. 5, 1995 to Nov. 8, 1995
ISSN: 1082-3409
ISBN: 0-8186-7312-5
TABLE OF CONTENTS
Papers
Session AIP-1: AI Paradigms 1

A Hybrid Genetic Algorithm for the Identification of Metabolic Models (Abstract)

John Yen , Texas A&M University
David Randolph , Texas A&M University
Bogju Lee , Texas A&M University
James C. Liao , Texas A&M University
pp. 4

Genetic Operators in a Dual Genetic Algorithm (Abstract)

P. Collard , University of Nice-Sophia Antipolis, I3S--CNRS
C. Escazut , University of Nice-Sophia Antipolis, I3S--CNRS
pp. 12
Session AISE-1: AI & Software Engineering 1: Coordinator: Betty H.C. Cheng, Michigan State University, USA

A Knowledge-Based Approach to Requirements Analysis (Abstract)

Alan Liu , National Chung Cheng University
Jeffrey Tsai , University of Illinois at Chicago
pp. 26

Integrating Object-Oriented Requirements Specifications with Formal Notations (Abstract)

Jonathan Lee , National Central University, Chungli, Taiwan
Jiann-I Pan , National Central University, Chungli, Taiwan
Wei T. Huang , National Central University, Chungli, Taiwan
pp. 34

A Formal Semantics for mOPS5 (Abstract)

Herbert Groiss , University Klagenfurt
pp. 42

VIM Film System (Abstract)

Nikolay Mirenkov , The University of Aizu
Tatiana Mirenkova , The University of Aizu
pp. 49
Session IA-1: Intelligent Automation 1: Coordinator: Ing-Ray Chen, National Cheng-Kung University, Taiwan

Development of a Feature Based Expert Manufacturing Process Planner (Abstract)

U. Roy , Syracuse University
B. Bharadwaj , Syracuse University
A. Chavan , Syracuse University
C.K. Mohan , Syracuse University
pp. 63

Railway Scheduling System Using Repair-based Approach (Abstract)

Te-Wei Chiang , National Taiwan University
Hai-Yen Hau , National Taiwan University
pp. 71

PC Master Production Scheduling System with Task/Resource/Quantity Selection Heuristics (Abstract)

Shigeru Shiina , C&C Research Laboratories, NEC Corporation
Masazumi Yoshikawa , C&C Research Laboratories, NEC Corporation
Toru Yamanouchi , C&C Research Laboratories, NEC Corporation
Masanobu Watanabe , C&C Research Laboratories, NEC Corporation
pp. 79
Session AIP-2: AI Paradigms 2: Coordinator: Bill Manaris, University of Southwestern Louisiana, USA

An Effective Algorithm For Incompatibility Abduction Problems (Abstract)

B. El. Ayeb , University of Sherbrooke, Fac. Sciences
S. Wang , University of Sherbrooke, Fac. Sciences
pp. 90

Towards Positive-Breakdown Radial Basis Function Networks (Abstract)

Sheng-Tun Li , Nan-Tai College
Ernst L. Leiss , University of Houston
pp. 98

A method of selecting similar learning data in the prediction of time series using neural networks (Abstract)

H. Shimodaira , Dept. of Res. & Dev., Nihon MECCS Co. Ltd., Tokyo, Japan
pp. 106
Session AISE-2: AI & Software Engineering 2: Coordinator: Stephen Szygenda, University of Texas atAustin, USA

Metrics-guided reuse (Abstract)

R.A. Paul , OUSD(A&T)/DT&E, Washington, DC, USA
pp. 120

Using Influence Diagrams for Software Risk Analysis (Abstract)

Chye Lin Chee , National University of Singapore
Vikram Vij , University of California, Berkeley
C. V. Ramamoorthy , University of California, Berkeley
pp. 128
Session APP-1: Applications 1: Coordinator: S. Sitharma Iyengar, Louisiana State University, USA
Session AISE-3: AI & Software Engineering 3: Coordinator: Philip Sheu, University of California at Irvine, USA

Tools for detecting dependencies in AI systems (Abstract)

M.D. Schmill , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
T. Oates , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
P.R. Cohen , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 148

An Object-Oriented Toolkit for Evolutionary Algorithms (Abstract)

Pawel A. Stefanski , George Mason University, Fairfax, VA
H. Hadon Nash , George Mason University, Fairfax, VA
Kenneth A. de Jong , George Mason University, Fairfax, VA
pp. 156

Toolset To Support A Software Engineering Strategy (Abstract)

Jawed Siddiqi , Sheffield Hallam University
Ian Morrey , Sheffield Hallam University
pp. 168
Session ML-1: Machine Learning 1: Coordinator: Peggy Israel Doerschuk, Lamar University, USA

Statistical generalization of performance-related heuristics for knowledge-lean applications (Abstract)

A. Ieumwananonthachai , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
B.W. Wah , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 174

Two-Way Induction (Abstract)

Pedro Domingos , University of California, Irvine
pp. 182

Noise handling with extension matrices (Abstract)

Xindong Wu , Dept. of Software Dev., Monash Univ., Melbourne, Vic., Australia
J. Krisar , Dept. of Software Dev., Monash Univ., Melbourne, Vic., Australia
P. Mahlen , Dept. of Software Dev., Monash Univ., Melbourne, Vic., Australia
pp. 190
Session APP-2: Applications 2: Coordinator: I-Ling Yen, Michigan State University, USA

Fast Retrieval of Electronic Documents in Digital Libraries (Abstract)

Jason T.L. Wang , New Jersey Institute of Technology
Chia-Yo Chang , New Jersey Institute of Technology
pp. 208

Intelligent Control Of Vehicles: Preliminary Results on the Application of Learning Automata Techniques to Automated Highway System (PDF)

Cem Unsal , The Bradley Department of EE, Virginia Tech
John S. Bay , The Bradley Department of EE, Virginia Tech
Pushkin Kachroo , Center for Transportation Research
pp. 216

Chirico - A Framework for Computerization of Medical Practice Guidelines (Abstract)

Clifton Davis , University of Houston
Christoph Eick , University of Houston
Balasubramanian Krishnamurthy , University of Houston
Ashish Shah , University of Houston
Lee Wankee , MD Anderson Cancer Center
pp. 224

Reasoning About Nuclear Physics Processes (Abstract)

Sri Hartati , University of New Brunswick
Bradford G. Nickerson , University of New Brunswick
George R. DeMille , University of New Brunswick
pp. 228
Session AIP-3: AI Paradigms 3: Coordinator: Wlodek Zadrozny, IBM, USA

An efficient hardware architecture to support complex fuzzy reasoning (Abstract)

G. Ascia , Istituto di Inf. e Telecommun., Catania Univ., Italy
V. Catania , Istituto di Inf. e Telecommun., Catania Univ., Italy
pp. 250

CDM: an approach to learning in text categorization (Abstract)

J.L. Goldberg , Dept. of Comput. Sci., Texas A&M Univ., College Station, TX, USA
pp. 258
Session IA-2: Intelligent Automation 2: Coordinator: Jefferey Tsai, University of Illinois at Chicago, USA

Neural Network Control of a Three-Link Leg (Abstract)

Peggy Israel Doerschuk , Lamar University
Vinh D. Nguyen , Lamar University
Andrew L. Li , Lamar University
pp. 278
Session APP-3: Applications 3: Coordinator: John Yen, Texas A&M University, USA

Speech recognition in the Informedia Digital Video Library: uses and limitations (Abstract)

A.G. Hauptmann , Dept. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 288

Understanding Natural Language Requirement Descriptions for Telecommunication Services (Abstract)

Yoshizumi Kobayashi , ATR Communication Systems Research Laboratories
Hiroshi Enoki , ATR Communication Systems Research Laboratories
Tadashi Ohta , ATR Communication Systems Research Laboratories
pp. 295
Session AIP-4: AI Paradigms 4: Coordinator: Jaideep Srivastava, University of Minnesota, USA

Path Consistency Revisited (Abstract)

Moninder Singh , University of Pennsylvania
pp. 318

Tools for the Definition and Enforcement of Dynamic Constraints (Abstract)

Stefano Odoardi , Carnegie Group, Inc.
Christoph F. Eick , Univerity of Houston
pp. 326

MINOS: A constraints based tool for the HyperNets (Abstract)

Pascal Yim , EC Lille- LAIL URA CNRS. D1440
Arnaud Lefort , EC Lille- LAIL URA CNRS. D1440
Agnes Hebrard , EC Lille- LAIL URA CNRS. D1440
pp. 334

Extending GENET for Non-Binary Constraint Satisfaction Problems (Abstract)

J.H.M. Lee , The Chinese University of Hong Kong
H.F. Leung , The Chinese University of Hong Kong
H.W. Won , The Chinese University of Hong Kong
pp. 338
Session IA-3: Intelligent Automation 3: Coordinator: Eiji Uchino, Kyushu Institute of Technology, Japan

A Mobile Robot That Recognizes People (Abstract)

Carol Wong , Lockheed Engineering and Sciences Company
David Kortenkamp , Metrica, Inc.
Mark Speich , University of Texas
pp. 346

Analysis of the learning model for KYDON system (Abstract)

J.S. Mertoguno , Dept. of Electr. Eng., State Univ. of New York, Binghamton, NY, USA
N.G. Bourbakis , Dept. of Electr. Eng., State Univ. of New York, Binghamton, NY, USA
pp. 354

High performance algorithms for object recognition problem by multiresolution template matching (Abstract)

L. Prasad , Theor. Phys. Div., Los Alamos Nat. Lab., NM, USA
S.S. Iyengar , Theor. Phys. Div., Los Alamos Nat. Lab., NM, USA
pp. 362

The selection of edge detectors using local image structure (Abstract)

D. Ziou , Dept. de Math. et d'Inf., Sherbrooke Univ., Que., Canada
A. Koukam , Dept. de Math. et d'Inf., Sherbrooke Univ., Que., Canada
pp. 366
Session ML-2: Machine Learning 2: Coordinator: Bechir El Ayeb, Uneversite de Sherbrooke, Canada

GRG: knowledge discovery using information generalization, information reduction, and rule generation (Abstract)

Ning Shan , Dept. of Comput. Sci., Regina Univ., Sask., Canada
H.J. Hamilton , Dept. of Comput. Sci., Regina Univ., Sask., Canada
N. Cercone , Dept. of Comput. Sci., Regina Univ., Sask., Canada
pp. 372

Chi2: Feature Selection and Discretization of Numeric Attributes (Abstract)

Huan Liu , National University of Singapore
Rudy Setiono , National University of Singapore
pp. 388
Session AIP-5: AI Paradigms 5: Coordinator: James Mayfield, University of Maryland, Baltimore County, USA

BQM: a system integrating logic, objects, and non-monotonic reasoning (Abstract)

N. Leone , ISI, CNR, Rende, Italy
P. Rullo , ISI, CNR, Rende, Italy
pp. 400

Progressive Rules: A Method for Representing and Using Real-Time Knowledge (Abstract)

Pedro Domingos , University of California, Irvine
Ernesto Morgado , Instituto Superior Tecnico
pp. 408

Selective Indexing Speeds Production Systems (Abstract)

Lance Obermeyer , The University of Texas at Austin
Daniel P. Miranker , The University of Texas at Austin
David Brant , The University of Texas at Austin
pp. 416
Session IA-4: Intelligent Automation 4: Coordinator: Louis Hoebel, Rome Laboratory, USA

Monitoring progress with dynamic programming envelopes (Abstract)

R.S. Amant , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
Y. Kuwata , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
P.R. Cohen , Dept. of Comput. Sci., Massachusetts Univ., Amherst, MA, USA
pp. 426

Geographical Route Planning Based on Uncertain Knowledge (Abstract)

Makoto Suzuki , Toshiba Corporation
Dai Araki , Toshiba Corporation
Akira Higashide , Toshiba Corporation
Teruaki Suzuki , Toshiba Corporation
pp. 434
Session APP-4: Applications 4: Coordinator: Christoph Eick, University of Houston, USA

SciAgents-an agent based environment for distributed, cooperative scientific computing (Abstract)

T.T. Drashansky , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
A. Joshi , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
J.R. Rice , Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
pp. 452

AgenTalk: Describing Multiagent Coordination Protocols with Inheritance (Abstract)

Kazuhiro Kuwabara , NTT Communication Science Laboratories
Nobuyasu Osato , NTT Communication Science Laboratories
Toru Ishida , Kyoto University
pp. 460

Multiagent Planning and Plan Execution (Abstract)

Richard Leow , University of New South Wales
N. Parameswaran , University of New South Wales
pp. 466
Poster Session

An Artificial Neural Network for the Design of an Adaptive Multimodal Interface (Abstract)

J.-F. Arcand , Centre for Information Technology Innovation (CITI)
C. Ramstein , Centre for Information Technology Innovation (CITI)
pp. 476

A Hybrid Knowledge Representation Model in a Natural Language Interface to MS-DOS (Abstract)

S.E. Michos , University of Patras
G.D. Magoulas , University of Patras
N. Fakotakis , University of Patras
pp. 480

Restructuring and Simplifying Rule Bases (Abstract)

Jan Vanthienen , Katholieke Universiteit Leuven
Elke Dries , Katholieke Universiteit Leuven
pp. 484

Performance evaluation of attribute-oriented algorithms for knowledge discovery from databases (Abstract)

C.L. Carter , Dept. of Comput. Sci., Regina Univ., Sask., Canada
H.J. Hamilton , Dept. of Comput. Sci., Regina Univ., Sask., Canada
pp. 486

Learning from Hotlists and Coldlists: Towards a WWW Information Filtering and Seeking Agent (Abstract)

Michael Pazzani , University of California, Irvine
Larry Nguyen , University of California, Irvine
Stefanus Mantik , University of California, Irvine
pp. 492

Planning responses in reaction to user feedback (Abstract)

S.M. Haller , Dept. of Comput. Sci. & Eng., Wisconsin Univ., Kenosha, WI, USA
S.S. Ali , Dept. of Comput. Sci. & Eng., Wisconsin Univ., Kenosha, WI, USA
pp. 498
83 ms
(Ver 3.3 (11022016))