Computer Science 2 (eBook, PDF)

Research and Applications
Redaktion: Baeza-Yates, Ricardo

• Format: PDF

Produktbeschreibung

Zur Zeit liegt uns keine Inhaltsangabe vor.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer US
• Seitenzahl: 596
• Erscheinungstermin: 29. Juni 2013
• Englisch
• ISBN-13: 9781475798050
• Artikelnr.: 44053798

Inhaltsangabe

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.