7. IEA/AIE 1994:
Austin,
Texas,
USA
IEA/AIE '94:
Proceedings of the Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems,
May 31-June 3,
1994,
Austin,
Texas. ACM,
1994
- Knut Hinkelmann:
A Consequence-Finding Approach for Feature Recognition in CAPP.
3-11
Electronic Edition (link) BibTeX
- Jaewon Lee, Chulwoo Park, Duckyoung Yoon, Hakjong Cho:
Case-Based Block Division Planning in Shipbuilding.
13-17
Electronic Edition (link) BibTeX
- See Y. Lim, Chris R. Chatwin, Hussein A. Abdullah:
Self-Organising Compensating Information Scheduler for Computer Integrated Manufacturing.
19-25
Electronic Edition (link) BibTeX
- Fevzi Belli, Oliver Jack:
An Environment for Self-Testing of Logic Programs.
29-36
Electronic Edition (link) BibTeX
- Núria Castell, Olga Slavkova, Yannick Toussaint, Antoni Tuells:
Quality Control of Software Specifications Written in Natural Language.
37-44
Electronic Edition (link) BibTeX
- Swee Hor Teh, W. C. Daugherity, R. N. Coulson:
A User-Centric Methodology for Building Usable Expert Systems.
45-48
Electronic Edition (link) BibTeX
- Willie Chang, Hamdy S. Soliman, Andrew H. Sung:
Fingerprint Image Compression by a Clustering Learning Network.
51-56
Electronic Edition (link) BibTeX
- B. Jeyasurya:
Power System Voltage Instability Monitoring with Artificial Neural Networks.
57-62
Electronic Edition (link) BibTeX
- Marek K. Solak, Albert C. Peng:
An Algebraic Method to Evaluate Spatial Stability in Image Processing Neuro Chips.
63-69
Electronic Edition (link) BibTeX
- Jinn-Tsong Tsai, Tsung-Lan Ho:
The Use of Neural Network to Predict Welding Parameters.
71-76
Electronic Edition (link) BibTeX
- Kagan Tumer, Joydeep Ghosh:
Sequence Recognition by Input Anticipation.
77-86
Electronic Edition (link) BibTeX
- Claire P. Willis, Derek J. Paddon:
Program Synthesis.
87-92
Electronic Edition (link) BibTeX
- John Yen, Swee Hor Teh, William Lively:
Principled Modeling and Automatic Classification for Enhancing the Reusability of Problem-Solving Methods of Expert Systems.
93-102
Electronic Edition (link) BibTeX
- Alireza Azem, Fevzi Belli:
Reliability Prediction of Prolog Programs.
103-112
Electronic Edition (link) BibTeX
- Frank D. Anger, James F. Allen, Rita V. Rodríguez:
Optimal and Heuristic Task Scheduling Under Qualitative Temporal Constraints.
115-122
Electronic Edition (link) BibTeX
- Gerard Ligozat:
Temporal Reasoning Made Simpler.
123-130
Electronic Edition (link) BibTeX
- Debasis Mitra, Rasiah Loganantharaj:
An Efficient and Approximate Algorithm for Temporal Reasoning.
131-136
Electronic Edition (link) BibTeX
- Sylvain Piechowiak, Joaquin Rodriguez:
A Constraint Network Manager for Diagnosing.
137-145
Electronic Edition (link) BibTeX
- Anurag Chaudhry, Lawrence B. Holder:
An Empirical Approach to Solving the General Utility Problem in Speedup Learning.
149-158
Electronic Edition (link) BibTeX
- Grace C. Chen-Ellis, Lawrence P. McNamee:
ACTS: Adaptive Controls for Tutorial Systems.
159-170
Electronic Edition (link) BibTeX
- Ibrahim F. Imam:
An Experimental Study of Discovery in Large Temporal Databases.
171-180
Electronic Edition (link) BibTeX
- Changhwan Lee, Dong-Guk Shin:
EEL: An Instance-Based Learning Method for Databases.
181-188
Electronic Edition (link) BibTeX
- Hou-Mei Henry Chang:
Relational Knowledge-Based System.
191-199
Electronic Edition (link) BibTeX
- Gary W. Hoglund, Eduardo M. Valcarce:
The ``ESSENSE'' of Intrusion Detection: A Knowledge-Based Approach to Security Monitoring and Control.
201-209
Electronic Edition (link) BibTeX
- Raman Rajagopalan, Benjamin Kuipers:
The Figure Understander: A System for Integrating Text and Diagram Input to a Knowledge Base.
211-220
Electronic Edition (link) BibTeX
- Johann Schweiger, Andreas Koller:
A Distributed Real-Time Knowledge Base for Teams of Autonomous Systems in Manufacturing Environments.
221-226
Electronic Edition (link) BibTeX
- Rasiah Loganantharaj, Sai Prabhu:
Problem of Undergeneralization in EBL and a Proposed Solution.
229-235
Electronic Edition (link) BibTeX
- Steve G. Romaniuk:
Efficient Storage of Instances: The Multi-Pass Approach.
237-244
Electronic Edition (link) BibTeX
- Sandip Sen:
A Tale of Two Representations.
245-254
Electronic Edition (link) BibTeX
- Claire P. Willis, Derek J. Paddon:
Machine Learning in Software Reuse.
255-262
Electronic Edition (link) BibTeX
- M. N. MdSap, D. R. McGregor:
A High-Level Query Language Interface to Relational Databases: An Alternative Approach.
265-272
Electronic Edition (link) BibTeX
- Jeremy Pitt, Jim Cunningham, Jong-Hyun Kim:
Co-Operative Answering to Natural Language Email Queries.
273-281
Electronic Edition (link) BibTeX
- Jussi Stader, Robert Inder, Paul W. H. Chung:
Transforming Databases for Experts.
283-289
Electronic Edition (link) BibTeX
- Fevzi Belli, Alfried Pollmann, Radu Crisan:
Concurrent Logic/Object-Oriented Multi-Robot Programming - Case Study and Performance Assessment.
293-303
Electronic Edition (link) BibTeX
- Alfredo Milani:
Minimizing Sensors Task in Robot Plan Monitoring.
305-314
Electronic Edition (link) BibTeX
- George E. Mobus, Paul S. Fisher:
Mavric's Brain.
315-320
Electronic Edition (link) BibTeX
- Norio Katayama, Atsuhiro Takasu, Jun Adachi:
A Database with an Explicit Semantic Representation.
323-332
Electronic Edition (link) BibTeX
- Pamela A. Taylor:
Semantic Nets/Frames and Relational Databases: Further Study into Their Integration Aspects.
333-336
Electronic Edition (link) BibTeX
- Sanjiv K. Bhatia, Chaman L. Sabharwal:
A Fast Perfect Hash Function for Image Databases.
337-346
Electronic Edition (link) BibTeX
- Johnny Chu:
Expert Systems in Mobil Oil Australia Limited.
349-351
Electronic Edition (link) BibTeX
- Wei Dai, Muriel de Beler, Christopher D. Rowles:
INTENEMA: An Intelligent Tool for Telecommunication Network Maintenance.
353-360
Electronic Edition (link) BibTeX
- Daron C. Holderfield, Richard W. Amos, James Clark, Bernard Martin:
Development of an Intelligent Process Planner for Laser Welding of Hermetic Seals for High Performance Microelectronic Assemblies.
361-365
Electronic Edition (link) BibTeX
- Ubbo Visser, Uwe Voges, Ulrich Streit:
Integration of AI-, Database- and Telecommunication-Techniques for the Plant Protection Expert System PRO PLANT.
367-374
Electronic Edition (link) BibTeX
- Ian C. Parmee, M. Johnson, S. Burt:
Techniques to Aid Global Search in Engineering Design.
377-385
Electronic Edition (link) BibTeX
- Christopher M. Rayne, Robert Jones:
Optimising Network Design for Micro-Seismic/Acoustic Emission Around Excavations of Arbitrary Shape.
387-393
Electronic Edition (link) BibTeX
- M. X. Tang, S. Peers, S. Dharmavasan:
RISC: Development of a Knowledge-Based System for Offshore Structure Inspection Scheduling.
395-403
Electronic Edition (link) BibTeX
- Lance A. Abbott:
Comparison of a Constraint Directed Search to a Genetic Algorithm in a Scheduling Application.
407-412
Electronic Edition (link) BibTeX
- Mihaly Lenart, Ana Pasztor:
How Much Knowledge is Needed? (Co-)Evolutionary Design.
413-419
Electronic Edition (link) BibTeX
- Walter D. Potter, Robert W. Robinson, John A. Miller, Krys Kochut, D. Z. Redys:
Using the Genetic Algorithm to Find Snake-in-the-Box Codes.
421-426
Electronic Edition (link) BibTeX
- David A. Kloske, Robert E. Smith:
Bulk Cable Routing Using Genetic Algorithms.
427-431
Electronic Edition (link) BibTeX
- Béchir el Ayeb:
On the Applicability of Model-Based Diagnosis: Examining the Case of Multiple Observations.
435-442
Electronic Edition (link) BibTeX
- Sulin Ba, Aimo Hinkkanen, Andrew B. Whinston:
Data Representation and Qualitative Optimization - Some Issues in Enterprise Modeling.
443-446
Electronic Edition (link) BibTeX
- Yusuf Wilajati Purna, Takahira Yamaguchi:
Some Notions on Testing Generated Fault Hypotheses.
447-455
Electronic Edition (link) BibTeX
- Shuanghua Xia:
Qualitative Reasoning: Conceptually Modelling and Analysing Engineering Systems.
457-461
Electronic Edition (link) BibTeX
- Fevzi Belli, Javier Dreyer:
Systems Modelling and Simulation by Means of Predicate/Transition Nets and Logic Programming.
465-474
Electronic Edition (link) BibTeX
- Otto Kühn, Björn Höfling:
Conserving Corporate Knowledge for Crankshaft Design.
475-484
Electronic Edition (link) BibTeX
- David E. Leasure, Carlos Araya:
Defaults and the Frame Law Applied to Over-Constrained Problems in Constraint-Based Design Systems.
485-489
Electronic Edition (link) BibTeX
- See Y. Lim, Chris R. Chatwin, Hussein A. Abdullah:
Knowledge Control Modelling: The Bond Graph Unification Approach to Design and Implementation of an Expert System for Intelligent Control of Industrial Laser Cutting.
491-500
Electronic Edition (link) BibTeX
- Zhihui Yao, Aylmer L. Johnson:
Supporting Design Validation by Semantic Analysis.
501-505
Electronic Edition (link) BibTeX
- B. Garner, F. Chen:
Anomaly Detection Modelling.
509-514
Electronic Edition (link) BibTeX
- Avelino J. Gonzalez, Robert H. Ahlers:
A Novel Paradigm for Representing Tactical Knowledge in Intelligent simulated Opponents.
515-523
Electronic Edition (link) BibTeX
- Deryle W. Lonsdale, Alexander Franz, John R. R. Leavitt:
Large-Scale Machine Translation: An Interlingua Approach.
525-530
Electronic Edition (link) BibTeX
- O. Hammami:
A Novel Cache Management Using the A* Algorithm.
533-539
Electronic Edition (link) BibTeX
- Rajesh Piplani, Joseph Talavage:
Conjunctive Goal Planning: An Application to Manufacturing Control.
541-544
Electronic Edition (link) BibTeX
- Vicci K. Varner, Brian L. Huff, Lynn L. Peterson:
The Application of the Structure-Function Paradigm to Support the Modeling of Reconfigurable Manufacturing Systems.
545-554
Electronic Edition (link) BibTeX
- Yi Lu:
Integration of Knowledge in a Multiple Classifier System.
557-564
Electronic Edition (link) BibTeX
- Ann L. Roe, Jon Roe:
The Application of Artificial Intelligence Techniques to Naval ESM Radar Rdentification.
565-572
Electronic Edition (link) BibTeX
- Mehdi R. Zargham, T. Osone:
A Medical Diagnostic System on the Basis of Fuzzy Set Theory.
573-581
Electronic Edition (link) BibTeX
- Leland Best, Robert Stobart, Michael Magee:
Fiber Measurement Using Digital Image Processing.
585-592
Electronic Edition (link) BibTeX
- Randall J. Calistri-Yeh:
Applying Blackboard Techniques to Real-Time Signal Processing and Multimedia Network Management.
593-599
Electronic Edition (link) BibTeX
- K. Sandrasegaran, A. Malowany:
An Integrated Fault Diagnosis Methodology for Physical Systems.
601-608
Electronic Edition (link) BibTeX
- Patricia Avila, Albert Casals:
Toward a Distributed Network of Intelligent Substation Alarm Processors.
611-618
Electronic Edition (link) BibTeX
- Joseph Baumgartner, Diane J. Cook:
A Genetic Algorithm for Load Balancing in Parallel Computers.
619-627
Electronic Edition (link) BibTeX
- Shubha S. Nerur, Diane J. Cook:
A Hybrid Parallel-Window/Distributed Tree Algorithm for Improving the Performance of Search-Related Tasks.
629-637
Electronic Edition (link) BibTeX
- Kelly G. Price, Kai H. Chang, William B. Day:
DDL: A Parallel Implementation of Prolog.
639-645
Electronic Edition (link) BibTeX
- Lorraine M. Fesq, Lawrence P. McNamee:
Does Observability Imply Diagnosability?
649-656
Electronic Edition (link) BibTeX
- J. W. Guan, Z. Guan, David A. Bell:
Evidential Reasoning in Expert Systems: Computational Methods.
657-666
Electronic Edition (link) BibTeX
- William T. Harding, Richard T. Redmond:
A Knowledge Dictionary for Expert Systems and Reorganization Techniques.
667-675
Electronic Edition (link) BibTeX
- Gerd Kamp:
AMS - A Case-Based Service Support System.
677-683
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:22:16 2009
by Michael Ley (ley@uni-trier.de)
