+612 9045 4394
 
CHECKOUT
Computer Science 2 : Research and Applications - Ricardo Baeza-Yates

Computer Science 2

Research and Applications

By: Ricardo Baeza-Yates (Editor)

Hardcover Published: 31st August 1994
ISBN: 9780306447303
Number Of Pages: 596

Share This Book:

Hardcover

RRP $791.99
$547.90
31%
OFF
or 4 easy payments of $136.98 with Learn more
Ships in 7 to 10 business days

Other Available Editions (Hide)

The articles in this proceedings were presented at the 13th International Conference of the Chilean Computer Science Society held in La Serena, Chile on October 14-16, 1993. A record number of 90 submissions were received this year in response to the call for papers. They came from 19 countries in four continents. The 44 articles presented here were selected by the program committee whose members were Ricardo Baeza-Yates (Chair, Univ. de Chile) Leopoldo Bertossi (U niv. Catolica de Chile) Jorge Boria (Schlumberger, USA & UNICEN, Argentina) Edgardo Broner (Univ. Simon Bolivar, Venezuela) Pere Brunet (Polytechnic of Catalunya, Spain) Jose Blakeley (Texas Instruments, USA) Eduardo Krell (Fundacion Chile) Tomas Lang (Univ. of California at Irvine, USA) Rosana Lanzelotte (PUC-Rio, Brazil) Stefano Levialdi (Univ. di Roma, Italy) Jorge Lobo (Univ. of Illinois at Chicago, USA) Jose Palazzo (UFRGS, Brazil) Christian Queinnec (Poly technique & INRIA, France) Gregory Rawlins (Indiana University, USA) Carlos Scheel (Tecnologico de Monterrey, Mexico) Robbert Van Renesse (Cornell Univ. , USA) The criteria for selection was based primarily on quality; we also considered relevance, clarity and the potential benefit to the community. The contents of these proceedings are organized on six main areas (number of papers in parentheses) : Algorithms and Data Structures (10); Databases and Information Systems (6); Distributed Systems and Computer Architecture (6); Logic and Knowledge (8); Petri Nets (4); and Software Engineering and Programming Languages (10). They also include one invited paper.

Introductionp. 1
Historical Overviewp. 3
Applying Genetic Algorithms to the Load-Balancing Problemp. 7
Parallel Update and Search in Skip Listsp. 15
Asymptotic Probabilistic Analysis of an Algorithm for Addition Subtraction Chainsp. 27
Graph Clustering and Cachingp. 37
A Comparison of Algorithms for the Triangulation Refinement Problemp. 47
Prime Length Symmetric FFTs and Their Computer Implementationsp. 57
Obtaining Intrinsic Shape Properties with a Disparity-Based Photometric Stereop. 67
Finding the Safest One-Dimensional Path among Obstacles for the Acceleration Constrained Robotp. 75
An Optimized External Sort Algorithmp. 89
Use of Genetic Algorithms to Optimize the Cost of Automotive Wire Harnessesp. 103
Hybrid Information Systems: Integrating Data and Knowledge Managementp. 119
A Semantic Data Model Approach for the Prototyping of Information Systemsp. 131
A Temporal Logic Language for Temporal Conditions Definitionp. 145
Multimedia Object Management in an O-O Database Environmentp. 161
Database Schema Design: The Contribution of Natural Language Techniquesp. 183
Modelling Geographic Information Systems Using an Object-Oriented Frameworkp. 199
The Role of Object Technology in Distributed Systemsp. 215
Analysis and Control of Computer Systems Distributed in Local Networksp. 225
Garbage Collection in Distributed EZp. 243
A Design System for Massively Parallel Hardwarep. 253
A Collision Resolution Algorithm for Random Access Channels Using Multiple Transmission Levelsp. 269
Methodology for the Life Cycle Development of Enterprise Networksp. 281
Channel Routing in the Knock-knee Diagonal Modelp. 305
Inheritance and Recognition in the Cumulative Typed System for Knowledge Representation SCp. 317
Making Argument Systems Computationally Attractive: Argument Construction and Maintenancep. 327
Lexical Error Correction Using Contextual Linguistic Expectationsp. 337
Equilibration and Belief Revision: Strategies for Cooperative Tutoring and Learningp. 347
Metacontrol of a Traffic Simulator Using Situation Semanticsp. 359
Abductive Inference of Plans and Intentions in Information Seeking Dialoguesp. 377
Cognitive Maps as Human Computer Interface Design Tools for Learningp. 387
On Observational Equivalence and Relational Semanticsp. 399
Analysis of General Refined Petri Boxesp. 411
Event Modeling with Petri Nets: A Survey and Discussionp. 429
Morphisms to Preserve Structural Properties of Petri Netsp. 439
Studying the Behaviour of Petri Nets through a Formalization as Term Rewriting Systemsp. 455
The Management of a Cooperative Environmentp. 469
Combining Instance and Class-Based Descriptions in Hypermedia Authoringp. 479
How Programming Can Be Visualized: A Practical Approachp. 491
A Process Model to Transform Evaluation from Human Review to Automatic Measurementp. 513
Planning Methodology of Information Systems under Cooperative Designp. 521
Pacific: A Programming Language Based on the Idea of Natural Namingp. 529
Evaluation of Logic Programs in a Relational Languagep. 541
A Synthetic Approach to Object Oriented Analysisp. 553
Graphical Animation of LOTOS Specificationsp. 567
Integrated-Specifications Analysisp. 579
Author Indexp. 593
Subject Indexp. 595
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780306447303
ISBN-10: 0306447304
Series: Advances in Experimental Medicine & Biology (Springer)
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 596
Published: 31st August 1994
Publisher: Springer Science+Business Media
Country of Publication: US
Dimensions (cm): 23.4 x 15.6  x 3.18
Weight (kg): 2.27