7. IEA/AIE 1994: Austin, Texas, USA

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

Last update Fri May 25 08:21:57 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page