Computer Science 2 [electronic resource] : Research and Applications / edited by Ricardo Baeza-Yates.

Erişim Adresi
Link
ISBN
9781475798050
Dil Kodu
İngilizce
Yer Numarası
DK/13263
Basım Bildirimi
1st ed. 1994.
Yayın Bilgisi
New York, NY : Springer US : Imprint: Springer, 1994.
Fiziksel Niteleme
XII, 596 p. online resource.
İçindekiler Notu
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.
Konu
Social service.
Computer science.
Electronic data processing __ Management.
Social Work.
Theory of Computation.
Computer Science.
IT Operations.
Diğer Yazarlar
Baeza-Yates, Ricardo.
Kurum Adı
SpringerLink (Online service)
İşlemler