책 이미지

책 정보
· 분류 : 외국도서 > 컴퓨터 > CAD-CAM
· ISBN : 9783540660767
· 쪽수 : 904쪽
· 출판일 : 1999-05-21
목차
Invited Talks.- Formalisations of Uncertain Reasoning.- Agent-Oriented Software Engineering.- A Unified-Metaheuristic Framework.- Fuzzy Systems.- A Fuzzy Knowledge Representation and Acquisition Scheme for Diagnostic Systems.- Modelling Fuzzy Sets Using Object-Oriented Techniques.- A Fuzzy Approach to Map Building.- Towards an Affirmative Interpretation of Linguistically Denied Fuzzy Properties in Knowledge-Based Systems.- Representational Hierarchy of Fuzzy Logic Concepts in the OBOA Model.- Design of Fuzzy Sliding Controller Based on Cerebellar Learning Model.- A New Fuzzy Flexible Flow-Shop Algorithm for Continuous Fuzzy Domain.- Neural Networks.- Testing the Performance of a Neural Networks-Based Adaptive Call Admission Controller with Multimedia Traffic.- A Combined Neural Network and Mathematical Morphology Method for Computerized Detection of Microcalcifications.- Study of Weight Importance in Neural Networks Working with Colineal Variables in Regression Problems.- The Parallel Path Artificial Micronet.- Genetic Algorithms.- A Generation Method to Produce GA with GP Capabilities for Signal Modeling.- Preventing Premature Convergence to Local Optima in Genetic Algorithms via Random Offspring Generation.- Using Self Organizing Maps and Genetic Algorithms for Model Selection in Multilevel Optimization.- A Genetic Algorithm for Visualizing Networks of Association Rules.- Genetic Algorithms in Solving Graph Partitioning Problem.- Application of Genetic Algorithms in Power System Stabilizer Design.- A Study of a Genetic Classifier System Based on the Pittsburgh Approach on a Medical Domain.- Search.- A New Gradient-Based Search Method: Grey-Gradient Search Method.- An Improvised A Algorithm for Mobile Robots to Find the Optimal Path in an Unknown Environment with Minimized Search Efforts.- Speeding the Vector Search Algorithm for Regional Color Channel Features Based Indexing and Retrieval Systems.- Reasoning.- Cost-Based Abduction Using Binary Decision Diagrams.- New Directions in Debugging Hardware Designs.- Reasoning with Diagrams: The Semantics of Arrows.- MAD: A Real World Application of Qualitative Model-Based Decision Tree Generation for Diagnosis.- Expert Systems and Applications.- WebMaster: Knowledge-Based Verification of Web-Pages.- Towards Task-Oriented User Support for Failure Mode and Effects Analysis.- Incremental and Integrated Evaluation of Rule-Based Systems.- A Model of Reflection for Developing AI Applications.- A Compositional Process Control Model and Its Application to Biochemical Processes.- Visual and Textual Knowledge Representation in DESIRE.- Verification of Knowledge Based-Systems for Power System Control Centres.- Self-Crossover and Its Application to the Traveling Salesman Problem.- Enabling Client-Server Explanation Facilities in a Real-Time Expert System.- Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks.- Knowledge Acquisition Based on Semantic Balance of Internal and External Knowledge.- Alex: A Computer Aid for Treating Alexithymia.- Case-Base Reasoning.- Mechanizing Proofs of Integrity Constraints in the Situation Calculus.- Using Cases for Process Modelling: An Example from the Water Supply Industry.- Financial Analysis by Case Based Reasoning.- Training of the Learner in Criminal Law by Case-Based Reasoning.- Intelligent Agents.- Constraint-Based Agent Specification for a Multi-agent Stock Brokering System.- A Communication Language and the Design of a Diagnosis Agent ? Towards a Framework for Mobile Diagnosis Agents.- Information Broker Agents in Intelligent Websites.- Learner-Model Approach to Multi-agent Intelligent Distance Learning System for Program Testing.- A Multi-agent Solution for Advanced Call Centers.- A Multiagent System for Emergency Management in Floods.- Problem-Solving Frameworks for Sensible Agents in an Electronic Market.- A Model for Distributed Multi-agent Traffic Control.- Smart Equipment Creating New Electronic Business Opportunities.- Distributed AI.- Agent Oriented Conceptual Modeling of Parallel Workflow Systems.- A Distributed Algorithm as Mobile Agents.- Why Ontologies Are Not Enough for Knowledge Sharing.- A Novel Approach for Detecting and Correcting Segmentation and Recognition Errors in Arabic OCR Systems.- Face Recognition Using Principal Component Analysis Applied to an Egyptian Face Database.- Using Labelled and Unlabelled Data to Train a Multilayer Perceptron for Colour Classification in Graphic Arts.- A Novel 3D-2D Computer Vision Algorithm for Automatic Inspection of Filter Components.- A Robust and Unified Algorithm for Indoor and Outdoor Scenes Based on Region Segmentation.- SAPIA: A Model Based Satellite Image Interpretation System.- Hierarchical Multifeature Integration for Automatic Object Recognition in Forward Looking Infrared Images.- Machine Learning.- Air-Crew Scheduling through Abduction.- Unfold/Fold Inductive Proof: An Extension of a Folding Technique.- On Solving the Capacity Assignment Problem Using Continuous Learning Automata.- Supervised Parameter Optimization of a Modular Machine Learning System.- Non-supervised Rectangular Classification of Binary Data.- Synthesizing Intelligent Behavior: A Learning Paradigm.- Automatic Input-Output Configuration and Generation of ANN-Based Process Models and Their Application in Machining.- DCL: A Disjunctive Learning Algorithm for Rule Extraction.- Temporal Reasoning.- Modeling and Simulating Breakdown Situations in Telecommunication Networks.- Handling Context-Sensitive Temporal Knowledge from Multiple Differently Ranked Sources.- to Reasoning about Cyclic Intervals.- A Multiple-Platform Decentralized Route Finding System.- Heuristic Selection of Aggregated Temporal Data for Knowledge Discovery.- Knowledge Representation.- Architectural Knowledge Representation Using the Galois Lattice Technique.- Automated Solving of the DEDS Control Problems.- A More Efficient Knowledge Representation for Allen’s Algebra and Point Algebra.- Unified Chromosome Representation for Large Scale Problems.- A Novel Framework for Hybrid Intelligent Systems.- Planning and Scheduling.- The Design of a Multi-tiered Bus Timetabling System.- Scheduling of a Production Unit via Critical Block Neighborhood Structures.- An Algorithm for Station Shunting Scheduling Problems Combining Probabilistic Local Search and PERT.- Tutoring and Manufacturing Systems.- Designing an Intelligent Tutoring System in the Domain of Formal Languages.- Leveraging a Task-Specific Approach for Intelligent Tutoring System Generation: Comparing the Generic Tasks and KADS Frameworks.- An Object-Oriented Robot Model and Its Integration into Flexible Manufacturing Systems.- The Economic Benefits of Internet-Based Business Operations in Manufacturing.- CNC Manufacturing of Complex Surfaces Based on Solid Modeling.- Analysis of Manufacturing Lines Using a Phase Space Algorithm: Open Line Case.- Intelligent Software Engineering.- A Formal Approach to Lingware Development.- A Formal Knowledge Level Process Model of Requirements Engineering.- Pieces of Mind: Component-Based Software Development of Artificial Intelligence.- CNC Automatic Programming System for Wire-EDM.