The Tenth IEEE Conference on Artificial Intelligence for Applications
March 1-4, 1994 Marriott Riverwalk San Antonio, Texas Contents: CONFERENCE OVERVIEW WORKSHOP PROGRAM TUTORIAL PROGRAM TECHNICAL PROGRAM CONFERENCE COMMITTEE REGISTRATION INFORMATION HOTEL INFORMATION --o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--
CONFERENCE OVERVIEW
For nine consecutive years, the IEEE Computer Society's Conference on Artificial Intelligence for Applications has provided an international forum for the exchange of ideas, techniques, and experiences in the application of AI to real-world problems. During this time, CAIA has established itself as a key conference for business and technical people who want to keep up on the fast-changing word of commercial AI. This year, the Tenth annual CAIA will continue that tradition by providing a provocative mix of introductory, intermediate and advanced talks, tutorials, workshops, and panels. In addition, CAIA '94 has strived for a new balance between information of interest to AI researchers and information of interest to business and commercial people. An emerging theme of AI and information systems, including the Internet, reflects this balance.
CAIA '94 starts with a full day of workshops and tutorials. The three workshops range from intelligent access to digital libraries, to business process re-engineering, to coordinated design, and will provide a forum for intense communication between researchers and practitioners. The six half-day tutorials will provide succinct but detailed introductions into a variety of AI-related techniques and applications.
CAIA '94 continues with three days of technical sessions. Each day starts with one of the following plenary addresses:
Shall We Reinvent AI and its Applications? Edward A. Feigenbaum, Stanford University
Digital Libraries: Why People use Tools, not AI Ed Fox, Virginia Polytech
Angels, Pinheads, and AI Technology Infusion Dr. Melvin Montemerlo, Program Manager for Automation, NASA Headquarters
After each plenary address are technical sessions in three tracks: two paper tracks and a panel track. These tracks are designed to be complementary and to appeal to people with different backgrounds. The panels include such topics as "Smart Computers in Space", "AI and Business Applications", and "Intelligent User Interfaces".
Finally, CAIA '94 will include many opportunities for informal discussion, including numerous breaks, a banquet and a reception with poster viewing.
For registration or general information, contact:
CAIA '93 Registration, IEEE Computer Society, Conference Department, 1730 Mass. Ave., N.W., Washington, DC 20036-1992 Voice: 202-371-1013; Fax: 202-728-0884,
--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--
CAIA-94 WORKSHOP PROGRAM MARCH 1, 1994
WORKSHOP 1: TECHNOLOGIES FOR BUSINESS PROCESS RE-ENGINEERING
The increase in competition, customer awareness, and ever changing business climate coupled with the failure of short-gap solutions (e.g., restructuring/downsizing, diversification, portfolio management, LBO, etc.) has forced many corporations to redesign business process in a fundamentally new way. A business process consists of all activities and agents required from the conceptualization of a product to its delivery to customers and subsequent support. The task of re-engineering is to design the activities themselves and thereby redesign the relationship between the activities and the agents. Information technologies play a central role in the design and implementation of re-engineering solutions. This workshop will bring together leaders, researchers, and developers engaged in designing and delivering re-engineering solutions and share challenges faced and lessons learned.
Contact: D.D. Sharma, 3N750FF, Pacific Bell, San Ramon, CA 95583, 510- 867-2954, dxsharm@pacbell.com
WORKSHOP 2: INTELLIGENT ACCESS TO ON-LINE DIGITAL LIBRARIES
The rate of information production in our global society is taking place thousands of times faster than our population growth. The linkages of high speed networks, fiberized telephone lines, and large capacity information bases will facilitate creation of digital libraries which are expected to provide many kinds of information. Due to their widely distributed and diversified clientele, these emerging libraries will require intelligent management of information. The purpose of this workshop is to focus on how intelligent data management and intelligent presentation systems will allow better information services to end-users of next generation, mass-scale, robust information architectures. This workshop will attract researchers and designers of on-line digital libraries (DLs) that are being applied to data analysis problems, educational and publication media, and entertainment services. Through a discussion of some generic issues that effect the design of digital libraries, it is the goal of the workshop to produce a reference model of such libraries based on the access, interface, and communication requirements of a small range of application domains.
Contact: Zahed Ahmed, San Diego Supercomputer Center, University of California at San Diego, 9500 Gilman Drive, La Jolla, CA 92093, 619- 534-5105, ahmed@cassatt.sdsc.edu
WORKSHOP 3: COORDINATED DESIGN AND PLANNING
Many proposals for functionality are being made in the domains of Enterprise Integration (EI) and Concurrent Engineering (CE). At the same time many research claims are being made for distributed agent-based technologies that should apply to these domains. Yet the problem and solution spaces are as yet ill-defined. In this workshop, participants will apply their technologies to a simple problem: distributed meeting scheduling. We believe that this problem is simple enough to permit analysis of the problem and solution spaces, yet complex enough to expose gaps in technologies needed for EI and CE. The best papers from this workshop and a similar one are to be included in a planned book on this subject.
Contact: Charles Petrie, Center for Design Research, Stanford University, Bldg. 560, Panama Street, Stanford, CA 94305-2232, 415- 725-0162, petrie@sunrise.stanford.edu * Workshop Description World-Wide Web URL * "http://gummo.stanford.edu/html/people/petrie/caia.html"
--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--
CAIA-94 TUTORIAL PROGRAM MARCH 1, 1994
Tuesday, March 1, 1994, 8:30 - 12:00 noon
TUTORIAL 1: SYMBOLIC AND NEURAL-NETWORK APPROACHES TO MACHINE LEARNING Haym Hirsh, Rutgers University
This tutorial will survey symbolic and neural-network approaches to machine learning. It will provide an overview of the major topics in the area, and give detailed descriptions of some of the better-known algorithms (e.g., decision-tree methods, perceptrons, backpropagation), presenting them in a single, unified light that highlights their commonalities and relative strengths and weaknesses. After attending the tutorial, participants should understand how to use these methods for their own problems, and be able to understand the main problems, goals, and methods being addressed by researchers today. Further, people already familiar with work in either area will learn about work in the other area and see both areas in a more uniform light.
TUTORIAL 2: TRANSFORMING ORGANIZATIONS WITH ADVANCED COMPUTING David Bailey, Bailey Consulting
Advanced computing offers organizations an unprecedented opportunity to leverage the use of information technology to solve complex business problems. Many view it to be a key to competitive advantage and process innovation. In order to be effective, advanced computing needs to be applied as part of a visionary information strategy that directly supports and enables the business strategy. This tutorial discusses the state of the software industry and the opportunities provided by advanced computing. It then summaries key advanced computing techniques, characterizing their capabilities, costs, and benefits. Next, a practical problem-driven approach to applying advanced computing within organizations is described. Practical considerations and case studies are then discussed, and the tutorial concludes with a summary of key points.
TUTORIAL 3: KNOWLEDGE BASE MANAGEMENT AND ITS APPLICATION Igor Jurisica and Huaiquing Wang, Department of Computer Science, University of Toronto
Knowledge based systems are now routinely used in thousands of "real world" applications. Most such applications involve relatively small knowledge bases, containing hundreds rather than thousands of units (object, rules, frames). Developing the next generation of knowledge based systems will require a technology for building, accessing, and managing very large knowledge bases, with potentially millions of units. Knowledge base management requires new techniques, including efficient implementations of inference mechanisms (terminological subsumption, deduction, induction and abduction), and new tools for knowledge acquisition, knowledge base validation, verification, and maintenance, as well as new architectures that accommodate a multi-user, distributed environment. This tutorial will provide a comprehensive review of the state-of-the-art in knowledge base management techniques and commercial tools, as well as recent research results and on-going projects. All of these will be presented from the application point of view and the actual development process of knowledge based applications will be stressed.
March 1, 1994, 1:30 - 5:00 pm
TUTORIAL 4: PROBABILISTIC REASONING John Lemmer, CTA Incorporated
Increasingly applied AI has had to come to grips with the uncertainties inherent in most knowledge applicable to real domains. The focus of this tutorial is how Probabilistic Reasoning fits into applied AI. First, Probability will be brought into sharp focus against a background of applications by considering it a generalization of "if...then" rules of Expert Systems, and compared to Fuzzy Sets, Possibility Logic, Conditional Logic, and Dempster-Shafer Theory, the other principal alternatives to Probability for quantitative management of uncertainty. The comparisons are based not on "good/bad?, but on "different". Then, a number of choices withing Probability are explained and compared, including Bayes Nets, Triangulated Nets, Influence Diagrams, and Causal Models. These choices are discussed in sufficient detail to reveal their different uses and their different implementation strategies.
TUTORIAL 5: PUTTING EXPERT SYSTEMS/DBMSs COOPERATION INTO PRACTICE Chihab Hanachi, University Toulouse 1
In many application domains the actual and efficient use of expert systems relies on the proper use of data. Also, expert systems handle large populations of facts, so that accessing and managing the underlying data becomes a complex activity, as important as reasoning itself. It is then essential to use Data Base Management Systems (DBMSs) to guarantee efficient access to the data and appropriate data management (including data coherence, data sharing, and data distribution). This tutorial will help the attendee in the tasks of implementing ES/DBMS integration, in particular with identifying the role of each component, choosing a software architecture, specifying the mechanisms of ES/DBMS communication, and understanding ES/DBMS communication and reasoning efficiency.
TUTORIAL 6: PRINCIPLES AND PRACTICE OF KNOWLEDGE ACQUISITION Angel R. Puerta, Stanford University, and Henrik Eriksson, Linkoping University
This tutorial will develop a comprehensive view of the most important principles and practical issues in knowledge acquisition. We will present the theoretical foundations of knowledge acquisition to establish a framework in which the attendee can understand and analyze how the theories are put into practice. We will concentrate on illustrating problems with computer-based knowledge-acquiistion tools, covering examples from early expert systems to the new generation of knowledge-based systems based on reusable knowledge components. Throughout the tutorial, we will emphasize the particular issues, such as human-computer interaction, that affect the design and development of knowledge acquistion tools, and will address the specific tradeoffs created by conflicting design requirements. After the tutorial, the attendee should have a good understanding of the principles and design tradeoffs involved in the construction of knowledge-acquisition tools, a solid background on existing tools, and a clear grasp of the research issues that affect knowledge acquisition.
TUTORIAL LECTURER BIOGRAPHIES
David Bailey, 7769 Ohio Northern Drive, Lancaster, OH 43130, 614-833- 4127. Mr. Bailey has more than six years of experience of consulting, development, and management experience in advanced computer systems. His background includes the design and development of integrated artificial intelligence applications, project management, tutorial and seminar development and presentation, marketing and sales, and business information problems with a practical mix of advanced and conventional information technology.
Henrik Eriksson, Department of Computer and Information Science, Linkoping University, S-581 83 Linkoping, Sweden, her@ida.liu.se. Dr. Eriksson is an assistant professor in Computer Science at the Department of Computer and Information Science, Linkoping University. He received his Ph.D. in Computer Science from Linkoping University in 1991. His dissertation and current work is concerned with computer-based tool support for knowledge acquisition. He is presently a visiting scholar at the Knowledge Systems Laboratory, Stanford University.
Chihab Hanachi, University Toulouse 1, Place Anatole France, 31042 Toulouse Cedex, France, 33-61-63-35-60, hanachi@cix.cict.fr. Dr. Hanachi is an Associated Professor at the University of Toulouse I in France, and received his PhD in Computer Science from the University of Toulouse III. He has worked in the area of cooperation between expert systems and database management systems for five years and has published many papers in this area.
Haym Hirsh, Computer Science Department, Hill Center for the Mathematical Sciences, Rutgers University, New Brunswick, NJ 08903, 908-932-4176, hirsh@cs.rutgers.edu. Dr. Hirsh's is Assistant Professor of Computer Science at Rutgers University, where he conducts research and teaches courses in artificial intelligence and machine learning. His graduate research at Stanford, from which he received his MS and PhD degrees, was in machine learning, and his current research includes applications of machine learning in molecular biology and in yacht design.
Igor Jurisica, Department of Computer Science, University of Toronto, 10 King's College Road, Toronto, Ontario, M5S1A4, Canada, 416-978-7589, juris@ai.utoronto.ca. Mr. Jurisica is a member of the knowledge base management group at Toronto, a five-year effort in functionality and performance issues for knowledge base management headed by Prof. John Mylopoulos. His thesis work is on the representation and management issues for case-based reasoning systems.
John Lemmer, Rome Laboratory/C3CA, 525 Brooks Road, Griffiss AFB, NY, 13441, 315-330-3665, lemmer@ai.rl.af.mil. Dr. Lemmer received his PhD from the University of Maryland in 1976 and is a Senior Scientist at CTA Incorporated. He has been the principal investigator for a number of multi-million dollar R&D contracts, including AFES (Automated Feature Extractions Systems), MRS3 (the predecessor to JSTARS), and DATA (Decision Aids for Target Aggregation), some of which involved embedded expert systems, probabilistic reasoning, and causal modelling.
Angel R. Puerta, Knowledge Systems Laboratory, Medical Computer Science Group, Stanford University, MSOB X215, Stanford, CA 94305, Pueta@camis.stanford.edu. Dr. Puerta is a Research Scientist at the Knowledge Systems Laboratory, Stanford University. He received his Ph.D. in Computer Science from the University of South Carolina in 1990. His dissertation topic and current research interests include knowledge acquisition, intelligent interfaces, and the construction of knowledge- based systems from reusable knowledge components.
Huaiquing Wang, Department of Computer Science, University of Toronto, 10 King's College Road, Toronto, Ontario, M5S1A4, Canada, 416-987-7330, wang@ai.utoronto.ca. Dr. Wang received his PhD in artificial intelligence and computer vision from the University of Manchester and has been a research scientist in the AI group at Toronto since 1988. His current research interests include the application of knowledge-based and database systems, object-oriented cooperative environments, knowledge sharing, and integration of these systems.
--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--
CAIA-94 TECHNICAL PROGRAM MARCH 2-4, 1994
WEDNESDAY, MARCH 2, 1994
8:30 - 8:45 AM CAIA '94 WELCOME ADDRESS Dan O'Leary, University of Southern California
8:45 - 10:00 INVITED PLENARY TALK: Shall We Reinvent AI and its Applications? Edward A. Feigenbaum, Professor of Computer Science and Scientific Co-director of the Knowledg Systems Laboratory, Stanford University, Palo Alto, Ca.
10:00 - 10:30 am Break
10:30 - 12:00 noon Concurrent Sessions
PAPER SESSION: CAD/VLSI APPLICATIONS Session Chair: Dan O'Leary, University of Southern California
On the Solution of Layout Problems in Multiagent Systems: A Preliminary Report, Johannes Stein
CASTOR: an Expert Advisor for Testability Enhancement of VLSI Systems, G. Bezzi, C. Bolchini, M. Bombana, G. Buonanno, S. Cantu, P. Cavalloro, D. Sciuto, G. Zaza
An Intelligent Control Shell for CAD Tools, Satoru Fujita, Motohide Otsubo, Masanobu Watanabe
Heuristic Classification of Cells in Logic Electronic Specifications, Salvador Mir, Nicholas P. Filer
PAPER SESSION: SCHEDULING Session Chair: Loren Terveen, AT&T Bell Laboratories
AUTO-MPS: An Automated Master Production Scheduling System For Large Volume Manufacturing, R. Greg Arbon, Gregory G. Mally, Thomas W. Osborne, Paul R. Riethmeier
Learning Control Knowledge through Cases in Schedule Optimization Problems, Kazuo Miyashita, Katia Sycara
On the Design of an Adaptive Meeting Scheduler, Sandip Sen, Edmund H. Durfee
Distributed, Knowledge-based, Reactive Scheduling of Transporation Tasks, Klaus Fischer, Norbert Kuhn, Jorg P. Muller
PANEL SESSION: MODELLING FINANCIAL MARKETS WITH NEURAL NETS AND OTHER NON-LINEAR TECHNIQUES Chair: Ganesh Mani, LBS Capital Management, Inc. Panelists: TBA
12:00 noon - 1:30 pm Lunch
1:30 - 3:00 pm Concurrent Sessions
PAPER SESSION: CASE-BASED APPLICATION Session Chair: Marc Goodman, Cognitive Systems and Brandeis University
Inductive Learning of Prototype-Selection Rules for Case-Based Iterative Design, Mark Schwabacher, Haym Hirsh, Thomas Ellman
A Case-Based Design Aid for Conceptual Design of Aircraft Subsystems, Eric A. Domeshek, Marcia F. Herndon, Andrew W. Bennett, Janet L. Kolodner
Spatial Design of Complex Artifacts Using Cases, Ian F. C.Smith, Boi V. Faltings
Automated Schema Selection in Software Synthesis, Michael Hewett, Rattikorn Hewett
PAPER SESSION: NEURAL NETS AND MACHINE LEARNING Session Chair: David Waltz, NEC Research Institute
Modeling the Behavior of the S&P 500 Index: A Neural Network Approach, Mary Malliaris
Neural Network based Multisensor Multitarget Tracking, V. Schmidlin, G. Favier
Using Machine Learning to Monitor Network Performance, Raguram Sasisekharain, V. Seshadri, Sholom M. Weiss
EEL: An Information Theoretic Similarity-based Learning Method in Databases, Changhwan Lee
PANEL SESSION: AI AND BUSINESS Chair: Dan O'Leary, University of Southern California Panelists: David Leinweber Mallory Selfridge, University of Connecticut others TBA
3:00 - 3:30 pm Break
3:30 - 5:00 pm Concurrent Sessions
PAPER SESSION: OFFICE APPLICATIONS Session Chair: Louis Hoebel, Rome Laboratory, USAF Learning Contextual Rules for Document Understanding, Floriana Esposito, Donato Malerba, Giovanni Semeraro
Interactive Constraint Satisfaction for Office Systems, Megumi Ishii, Yutaka Sasaki, Shigeo Kaneda
Intelligent Validation and Routing of Electronic Forms in a Distributed Environment, Michael M. Compton, Shawn Wolfe
PAPER SESSION: DIVERSE TECHNIQUES AND APPLICATIONS Session Chair: Christopher Welty, RPI
Predictive Analysis System: A Case Study of AI Techniques for Counternarcotics, Myriam Abrahamson, Scott Bennett, William Brooks, Emily Hofmann, Paul Krause, Aaron Temin
Using Hybrid Knowledge Bases for Missile Siting Problems, John R. Benton, V. S. Subrahmanian
Integrating Case-Based Reasoning, Knowledge-Based Approach and Dijkstra Algorithm for Route Finding, Bing Liu, Siew-Hwee Choo, Shee- Ling Lok, Sing-Meng Leong, Soo-Chee Lee, Foong-Ping Poon, Hwee-Har Tan
From System Requirements to Appropriate Knowledge Representations: A Case Study, Markus Stolze
PANEL SESSION: INTEGRATING AI TECHNIQUES AND APPLICATIONS: CASE STUDIES, ISSUES, AND METHODS Chair: Louis Hoebel, Rome Laboratory, USAF Panelists: Michael DeBellis, Andersen Consulting Marie Bienkowski, SRI Bob Neches, USC/ISI
6:30 - 8:00 Banquet
--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--
THURSDAY, MARCH 3, 1994
8:45 - 10:00 am INVITED PLENARY TALK: Angels, Pinheads, and Artificial Intelligence Technology Infusion, Dr. Melvin Montemerlo, Program Manager for Automation and Robotics, NASA Headquarters
10:00 - 10:30 am break
10:30 - 12:00 noon Concurrent Sessions
PAPER SESSION: MEDICAL APPLICATIONS Session Chair: John Yen, Texas A&M University
Automatic Computation of Genetic Risk, Dhiraj K. Pathak, Mark W. PerlinMark W. Perlin
Roentgen: Radiation Therapy and Case-based Reasoning, Jeffrey Berger
A Study of an Expert System for Interpreting Human Walking Disorders, Tom Bylander, Michael Weintraub, Sheldon R. Simon
OaSiS: Integrating Safety Reasoning for Decision Support in Oncology, Peter Hammond
PAPER SESSION: NATURAL LANGUAGE Session Chair: TBA
A Tool for the Acquisition of Japanese-English Translation Rules Using Inductive Machine Learning Techniques, Hussein Almuallim, Yasuhiro Akiba, Takefumi Yamazaki, Akio Yokoo, Shigeo Kaneda
Memory-based Parsing with Parallel Marker-Passing, Minhwa Chung, Dan Moldovan
Application of Explanation-based Learning for Efficient Processing of Constraint-based Grammars, Gunter Neumann
Learning Natural Language Filtering Under Noisy Conditions, Stefan Wermter
PANEL SESSION: AI AND MANUFACTURING Chair: Oliver Vadas, Canadian Pulp and Paper Institute
12:00 noon - 1:30 pm Lunch
1:30 - 3:00 pm Concurrent Sessions
PAPER SESSION: MANUFACTURING AND MODELLING Session Chair: Oliver Vadas, Canadian Pulp and Paper Institute
Generating Programs from Connections of Physical Models, Gordon S. Novak Jr.
A Blackboard Approach to the Integration of Crankshaft Analysis Applications, Daniel J. Fagan
Qualitative Spatial Reasoning about Objects in Motion: Applications to Physics Problem Solving, Raman Rajagopalan, Benjamin Kuipers
Target Design: A Method for an Accurate Pose Determination, Agus Harjoko, Bernd J. Kurz
PAPER SESSION: EXPLANATION Session Chair: Marie Bienkowski, SRI
A Cooperative Model for Interactive Plan Explanation, Susan M. Haller
Model-based Explanation of Specifications for Sequence Control, Satoshi Ito, Yasuko Nakayama, Yasuo Namioka, Hiroyuki Mizutani
Automatic Generation of Explanations for Spreadsheet Applications, Daniele Nardi, Giuseppe Serrecchia
MeteoAssert: Generation and Organization of Assertions from Gridded Data, Stephan Kerpedjiev
PANEL SESSION: SMART COMPUTERS FOR SPACE Chair: Carol Redfield, Southwest Research Institute Panelists: Wes Regian, PhD., Brooks Air Force Base Mel Montemerlo, Ph.D., NASA Headquarters Bob Savely, NASA Johnson Space Center Nancy Sliwa, NASA Kennedy Space Center
3:00 - 3:30 pm Break
3:30 - 5:00 Concurrent Sessions
PAPER SESSION: DIVERSE APPLICATIONS AND TECHNIQUES Session Chair: Vasant Dhar, NYU
Redesign of Local Area Networks Using Similarity-based Adaptation, Michael Weiss, Frank Zeyer
Genetic Algorithms for Partitioning Air Space, Daniel Delahaye, Jean- Marc Alliot, Marc Schoenauer, Jean-Loup Farges,
EAGOL: An Artificial Intelligence System for Process Monitoring, Situation Assessment and Response Planning, Harry E. Pople, William E. Spangler, Martha T. Pople
An Application of Belief Networks to Future Crop Production Yiqun Gu, James W. McNicol, D. Ramanee Peiris, Bruce Marshall, John Crawford
PAPER SESSION: EXPERT SYSTEMS Session Chair: Charles Petrie, Center for Design Research, Stanford University
Concept Formation using ITERATE: Building Rule Models for Efficient Reasoning, Gautam Biswas, Gyesung Lee
A Neural Network Expert System Shell, Tong-Seng Quah, Chew-Lim Tan
Optimization of Rule-Based Expert Systems Via State Transition System Construction, Blaz Zupan, Albert Mo Kim Cheng
Dependency Analysis for Knowledge Validation in Rule-based Expert Systems, Chih-Hung Wu, Hung-Sen Chou, Shie-Jue Lee
PANEL SESSION: MACHINE AND MACHINE-ASSISTED TRANSLATION Chair: Phil Hayes, Carnegie Group Panelists: TBA
6:30 - 8:00 - Reception and Poster Viewing
--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--
FRIDAY, MARCH 4, 1994
8:45 - 10:00 AM INVITED PLENARY TALK: Digital Libraries: Why People use Tools, not Artificial Intelligence Ed Fox, Virginia Polytechnic Institute
10:00 - 10:30 Break
10:30 am - 12:00 noon Concurrent Sessions
PAPER SESSION: BIOLOGY APPLICATIONS Session Chair: TBA
Integration of Multiple Knowledge Sources in an Brain CT-scans Interpretation System, Hongyi Li
Using Machine Learning and Expert Systems to Predict Preterm Delivery in Pregnant Women, Michele M. Van Dyne, Linda K. Woolery, Jerzy Grzmala-Busse, Costas Tsatsoulis
Using Background Knowledge to Improve Inductive Learning of DNA Sequences, Haym Hirsh, Michiel Noordewier
Automatic Classification of Planctonic Foraminifera by a Knowledge- Based System, Shan Liu, Monique Thonnat, Marc Berthod
PAPER SESSION: ENABLING TECHNOLOGIES Session Chair: TBA
Using Causal Reasoning to Validate Stochastic Models, Arun Chandra, C.-L. Wu, J. A. Abraham
COCOS - A Tool for Constraint-Based, Dynamic Configuration, Markus Stumptner, Alois Haselbock, Gerhard Friedrich
Subsumption and Recognition of Heterogeneous Constraint Networks, Robert Weida, Diane Litman
Managing Large Temporal Delays in a Model Based Control System, Fano Ramparany
PANEL SESSION: INTELLIGENT USER INTERFACES Chair: David Redmiles, University of Colorado at Boulder Panelists: TBA
12:00 noon - 1:30 pm Lunch
1:30 - 3:00 pm Concurrent Sessions
PAPER SESSION: INFORMATION SYSTEMS AND DATABASES Session Chair: Don McKay, Paramax
A Development Process for Engineering Project Management Information Systems Based on Semantic Data Models, Jiaqing Cao, Mingwan Qin, Ming He
Automating Workflows for Service Provisioning: Integrating AI and Database Technologies, Michael N. Huhns, Munindar P. Singh
Merging Information by Discourse Processing for Information Extraction, Tsuyoshi Kitani
Improving Monitoring and Surveillance through Integration of Artificial Intelligence and Information Management Systems, Marco Lazzari, Paolo Salvaneschi
PAPER SESSION: DIAGNOSIS Session Chair: Chid Apte, IBM TJ Watson Research Center
Intelligent Reliability Analysis, Jeffrey A. Barnett, Tom Verma
Optimizing Genetic Algorithm Parameters for Multiple Fault Diagnosis Applications, Mark Juric
A Computationally Efficient Probabilistic Diagnosis Tool, Gegory M. Provan
Component Ontological Representation of Function for Diagnosis, Amruth N. Kumar, Shambhu J. Upadhyaya
PANEL SESSION: THE INFORMATION SUPERHIGHWAY: WHAT AI RESEARCH IS NEEDED? Chair: Meyer Billmers, DEC Panelists: David Steier, Price-Waterhouse Zahid Ahmed, San Diego Supercomputer Center Bud Frawley, GTE Ken Haase, MIT Media Lab
3:00 - 3:30 Break
3:30 - 4:00 CLOSING SESSION
--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--
CAIA '94 CONFERENCE COMMITTEE
General Chair: Dan O'Leary, University of Southern California
Program Chair: Peter Selfridge, AT&T Bell Laboratories
Publicity Chair: Marc Goodman, Cognitive Systems and Brandeis University
Local Arrangements Chair: Aaron Konstam, Trinity University
Program Committee:
Chid Apte, IBM Marie Bienkowski, SRI Larry Birnbaum, Northwestern University Ron Brachman, AT&T Bell Laboratories Mark Burstein, BBN Dan Cooke, U. Texas El Paso Vasant Dhar, NYU Tim Finin, U. Maryland Baltimore County Phil Hayes, Carnegie Group Jim Hendler, U. Maryland Haym Hirsh, Rutgers Lou Hoebel, Rome Laboratory, USAF Se June Hong, IBM Lewis Johnson, USC/ISI Bernadette Kowalski-Minton, Academic Systems Corp. Larry Lefkowitz, Bellcore Don McKay, Paramax Robert Milne, Intelligent Applications Ltd. Fumio Mizoguchi, Tokyo Science University Charles Petrie, CDR, Stanford University David Redmiles, UC Boulder Anil Rewari, DEC Marcio Rillo, University of San Paulo, Brazil Eric Schoen, Schlumberger Evangelos Simoudis, Lockheed Bob Simpson, NCR Elliot Soloway, U. Michigan Craig Stanfill, Thinking Machines Loren Terveen, AT&T Bell Laboratories Oliver Vadas, Pulp and Paper Research Institute of Canada Wolfgang Wahlster, DFKI David Waltz, NEC Research Institute John Yen, Texas A&M University
--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--
CAIA '94 REGISTRATION INFORMATION
Please type or print. Return registration form to:
CAIA '94 Registration, IEEE Computer Society, Conference Department, 1730 Massachusetts Ave., N.W., Washington, DC 20036-1992 (202)371-1013; FAX (202)728-0884
Last/Family name: First name: Middle Initial: Badge Name: Company: Address/Mailstop: City/State/ZIP: Country: Phone: Fax: Email:
IEEE/CS Membership Number (required for member discount)
Do you have any special needs?
Tutorials--March 1 (please check the tutorial(s) you wish to attend): [ ] 1: Symbolic and Neural-Network Approaches to Machine Learning [ ] 2: Transforming Organizations with Advanced Computing [ ] 3: Knowledge Base Management and Its Application [ ] 4: Probabilistic Reasoning [ ] 5: Putting Expert Systems/DBMS's Cooperation into Practice [ ] 6: Principles and Practice of Knowledge Acquisition
TUTORIAL REGISTRATION FEES (price is per tutorial -- please check appropriate fee)
Advance (to 2/18/94) Late (after 2/18/94) Member $220 $265 Nonmember $275 $330
CONFERENCE REGISTRATION FEES (please check appropriate fee)
Advance (to 2/18/94) Late (after 2/18/94) Member $330 $395 Nonmember $410 $495 Student $115 $115
TOTAL ENCLOSED (in U.S. dollars) $ _______
Payment must be enclosed. Please make checks payable to IEEE Computer Society. All payments must be in U.S. dollars, drawn on U.S. banks.
METHOD OF PAYMENT ACCEPTED
Check: Personal, Company or Travelers Purchase Order (U.S. organizations only--must accompany registration form) Credit Card: VISA, MasterCard, American Express, Diners Club For Credit Card payment.... Card: Cardholder Name: Card Number: Expiration Date: Signature:
Do not include my mailing address on: [ ] Non-society mailing lists [ ] Meeting Attendee lists
Registration fees include conference and/or tutorial attendance, refreshments at breaks, conference receptions as planned, and a copy of the conference proceedings for non-student registrants. We reserve the right to cancel a tutorial due to insufficient participation or other unforeseeable problems.
Written requests for refunds must be received in the IEEE Computer Society office no later than 2/18/94. Refunds are subject to a $50 processing fee. All no-show registrations will be billed in full. Students are required to show current picture ID cards at the time of registration. Registrations after 2/18/94 will be accepted on-site only.
NONMEMBERS: Join the Computer Society today and register at the member rate! You'll also receive many other benefits. Call the Membership Department today at (714)821-8380.
If you are unable to attend this year's conference, you can order the proceedings by calling 1-800-CS-BOOKS.
--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--o--
CAIA '94 HOTEL INFORMATION
The conference hotel for CAIA '94 is the Marriot Riverwalk in San Antonio, Texas. Please contact the hotel directly using the following information:
Reservation number: 1-800-228-9290 Conference rate: Single: $125, Double: $135 Mention "IEEE Computer Society" to get this rate