Computer Science 2

Research and Applications

Buch | Softcover

596 Seiten

2013 | Softcover reprint of the original 1st ed. 1994
Springer-Verlag New York Inc.
978-1-4757-9807-4 (ISBN)

Artikel merken

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.

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.

Zusatzinfo	XII, 596 p.
Verlagsort	New York, NY
Sprache	englisch
Maße	178 x 254 mm
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
	Sozialwissenschaften ► Pädagogik ► Sozialpädagogik
	Sozialwissenschaften ► Soziologie
ISBN-10	1-4757-9807-5 / 1475798075
ISBN-13	978-1-4757-9807-4 / 9781475798074
Zustand	Neuware