Computer Science 2
Research and Applications
Published on 31. August 1994
Book
Hardback
XII, 596 pages
978-0-306-44730-3 (ISBN)
Description
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.
, 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.
More details
Edition
1994 ed.
Language
English
Place of publication
New York
United States
Publishing group
Springer Science+Business Media
Target group
Professional and scholarly
Research
Illustrations
XII, 596 p.
Dimensions
Height: 241 mm
Width: 160 mm
Thickness: 38 mm
Weight
1074 gr
ISBN-13
978-0-306-44730-3 (9780306447303)
DOI
10.1007/978-1-4757-9805-0
Schweitzer Classification
Other editions
Additional editions
E-Book
06/2013
Springer
€213.99
Available for download
Book
05/2013
Springer
€213.99
Shipment within 15-20 days
Content
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.