Computer Science 2

SOMMARIO

Historical Overview.- Algorithms and Data Structures.- Applying Genetic Algorithms to the Load-Balancing Problem.- Parallel Update and Search in Skip Lists.- Asymptotic Probabilistic Analysis of an Algorithm for Addition Subtraction Chains.- Graph Clustering and Caching.- A Comparison of Algorithms for the Triangulation Refinement Problem.- Prime Length Symmetric FFTs and Their Computer Implementations.- Obtaining Intrinsic Shape Properties with a Disparity-Based Photometric Stereo.- Finding the Safest One-Dimensional Path among Obstacles for the Acceleration Constrained Robot.- An Optimized External Sort Algorithm.- Use of Genetic Algorithms to Optimize the Cost of Automotive Wire Harnesses.- Databases and Information Systems.- Hybrid Information Systems: Integrating Data and Knowledge Management.- A Semantic Data Model Approach for the Prototyping of Information Systems.- A Temporal Logic Language for Temporal Conditions Definition.- Multimedia Object Management in an O-O Database Environment.- Database Schema Design: The Contribution of Natural Language Techniques.- Distributed Systems and Computer Architecture.- Modelling Geographic Information Systems Using an Object-Oriented Framework.- The Role of Object Technology in Distributed Systems (Invited Paper).- Analysis and Control of Computer Systems Distributed in Local Networks.- Garbage Collection in Distributed EZ.- A Design System for Massively Parallel Hardware.- A Collision Resolution Algorithm for Random Access Channels Using Multiple Transmission Levels.- Methodology for the Life Cycle Development of Enterprise Networks.- Channel Routing in the Knock-knee Diagonal Model.- Logic and Knowledge.- Inheritance and Recognition in the Cumulative Typed System for Knowledge Representation SC.- Making Argument SystemsComputationally Attractive: Argument Construction and Maintenance.- Lexical Error Correction Using Contextual Linguistic Expectations.- Equilibration and Belief Revision: Strategies for Cooperative Tutoring and Learning.- Metacontrol of a Traffic Simulator Using Situation Semantics.- Abductive Inference of Plans and Intentions in Information Seeking Dialogues.- Cognitive Maps as Human Computer Interface Design Tools for Learning.- On Observational Equivalence and Relational Semantics.- Petri Nets.- Analysis of General Refined Petri Boxes.- Event Modeling with Petri Nets: A Survey and Discussion.- Morphisms to Preserve Structural Properties of Petri Nets.- Studying the Behaviour of Petri Nets through a Formalization as Term Rewriting Systems.- Software Engineering and Programming Languages.- The Management of a Cooperative Environment.- Combining Instance and Class-Based Descriptions in Hypermedia Authoring.- How Programming Can Be Visualized: A Practical Approach.- A Process Model to Transform Evaluation from Human Review to Automatic Measurement.- Planning Methodology of Information Systems under Cooperative Design.- Pacific: A Programming Language Based on the Idea of Natural Naming.- Evaluation of Logic Programs in a Relational Language.- A Synthetic Approach to Object Oriented Analysis.- Graphical Animation of LOTOS Specifications.- Integrated-Specifications Analysis.- Author Index.

ALTRE INFORMAZIONI

• Condizione: Nuovo
• ISBN: 9780306447303
• Dimensioni: 234 x 156 mm
• Formato: Copertina rigida
• Illustration Notes: XII, 596 p.
• Pagine Arabe: 596
• Pagine Romane: xii