Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The International Workshop CG '88 on "Computational Geometry" was held at the University of Würzburg, FRG, March 24-25, 1988. As the interest in the fascinating field of Computational Geometry and its Applications has grown very quickly in recent years the organizers felt the need to have a workshop, where a suitable number of invited participants could concentrate their efforts in this field to cover a broad spectrum of topics and to communicate in a stimulating atmosphere. This workshop was attended by some fifty invited scientists. The scientific program consisted of 22 contributions, of which 18 papers with one additional paper (M. Reichling) are contained in the present volume. The contributions covered important areas not only of fundamental aspects of Computational Geometry but a lot of interesting and most promising applications: Algorithmic Aspects of Geometry, Arrangements, Nearest-Neighbor-Problems and Abstract Voronoi-Diagrams, Data Structures for Geometric Objects, Geo-Relational Algebra, Geometric Modeling, Clustering and Visualizing Geometric Objects, Finite Element Methods, Triangulating in Parallel, Animation and Ray Tracing, Robotics: Motion Planning, Collision Avoidance, Visibility, Smooth Surfaces, Basic Models of Geometric Computations, Automatizing Geometric Proofs and Constructions.

Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- 681.3*I35 --- Computational geometry and object modeling (Computer graphics) --- 681.3*I35 Computational geometry and object modeling (Computer graphics) --- Geometry. --- Topology. --- Computer graphics. --- Computer software. --- Computer Graphics. --- Algorithm Analysis and Problem Complexity. --- Software, Computer --- Computer systems --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- Analysis situs --- Position analysis --- Rubber-sheet geometry --- Geometry --- Polyhedra --- Set theory --- Algebras, Linear --- Mathematics --- Euclid's Elements --- Digital techniques

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The efficient management of geometric data, such as points, curves, or polyhedra in arbitrary dimensions, is of great importance in many complex database applications like CAD/CAM, robotics, or computer vision. To provide optimal support for geometric operations, it is crucial to choose efficient data representation schemes. The first part of this book contains a taxonomy and critical survey of common operations and representation schemes for geometric data. Then several new schemes for the efficient support of set operations (union, intersection) and search operations (point location, range search) are presented.

Artificial intelligence. Robotics. Simulation. Graphics --- 681.3*I35 --- Computational geometry and object modeling (Computer graphics) --- 681.3*I35 Computational geometry and object modeling (Computer graphics) --- Computer software. --- Data structures (Computer scienc. --- Database management. --- Artificial intelligence. --- Computer graphics. --- Algorithm Analysis and Problem Complexity. --- Data Structures. --- Database Management. --- Artificial Intelligence. --- Computer Graphics. --- Information Systems Applications (incl. Internet). --- Automatic drafting --- Graphic data processing --- Graphics, Computer --- Computer art --- Graphic arts --- Electronic data processing --- Engineering graphics --- Image processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Software, Computer --- Computer systems --- Digital techniques

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Symposium on Theoretical Aspects of Computer Science is organized jointly by the Special Interest Group for Applied Mathematics of AFCET (Association Française de Cybernétique Economique et Technique) and the Special Interest Group for Theoretical Computer Sciences of GI (Gesellschaft für Informatik). It is held alternately in France and in Germany. This volume contains two invited papers, on combinatorial methods in computer science, and on the complexity of local optimization, and 24 contributions on theoretical aspects of computer science. Some software systems are presented showing the possibilities of applying theoretical research to the realization of software tools.

Computer science --- Informatique --- Congresses --- Congrès --- -681.3*F --- 681.3*G2 --- 681.3*I1 --- 681.3*I35 --- Informatics --- Science --- Theory of computation --- Discrete mathematics (Mathematics of computing) --- Algebraic manipulation (Computing methodologies) --- Computational geometry and object modeling (Computer graphics) --- 681.3*I1 Algebraic manipulation (Computing methodologies) --- 681.3*G2 Discrete mathematics (Mathematics of computing) --- 681.3*F Theory of computation --- 681.3*I35 Computational geometry and object modeling (Computer graphics) --- Congrès --- 681.3*F --- Information theory. --- Computer science. --- Computer software. --- Logic design. --- Theory of Computation. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Software, Computer --- Computer systems --- Communication theory --- Communication --- Cybernetics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume gives the proceedings of ISAAC '92, the Third International Symposium on Algorithms and Computation, held in Nagoya, Japan, December 1992. The first symposium was held in Tokyo in 1990, as the first international symposium organized by SIGAL (Special Interest Groupon Algorithms in the Information Processing Society of Japan) to serve as anannual international forum in Asia for researchers in the area of algorithms. The second symposium was held in Taipei, Taiwan in 1991, where it was decided that computation would be included in the main scope of the symposium and that ISAAC would be its name. ISAAC '92 focuses on topics in design and analysis of algorithms, computational complexity, and theory of computation, including algorithms and data structures, parallel/distributed computing, automata and formal languages, probabilistic/approximation algorithms, computability and complexity, term rewriting systems, and computational geometry. The volume contains the accepted contributed papers and the invited papers.

Computer algorithms --- -Numerical calculations --- -681.3*F0 --- 681.3*G2 --- 681.3*I35 --- 681.3*H3 --- Numerical analysis --- Algorithms --- Congresses --- Data processing --- -Congresses --- Computerwetenschap--?*F0 --- Discrete mathematics (Mathematics of computing) --- Computational geometry and object modeling (Computer graphics) --- Information storage and retrieval. Cd-rom --- Conferences - Meetings --- 681.3*H3 Information storage and retrieval. Cd-rom --- 681.3*I35 Computational geometry and object modeling (Computer graphics) --- 681.3*G2 Discrete mathematics (Mathematics of computing) --- Numerical calculations --- Computer algorithms - Congresses. --- Numerical calculations - Data processing - Congresses. --- Data structures (Computer scienc. --- Information theory. --- Computer science --- Computer science. --- Combinatorics. --- Distribution (Probability theory. --- Data Structures. --- Theory of Computation. --- Computational Mathematics and Numerical Analysis. --- Computation by Abstract Devices. --- Probability Theory and Stochastic Processes. --- Mathematics. --- Computer mathematics --- Electronic data processing --- Mathematics --- Communication theory --- Communication --- Cybernetics --- Distribution functions --- Frequency distribution --- Characteristic functions --- Probabilities --- Combinatorics --- Algebra --- Mathematical analysis --- Informatics --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed algorithms, geometrical algorithms, trace languages, semantics of parallelism.

Programming --- 681.3 *C2 --- 681.3*C1 --- 681.3*D2 --- 681.3*F0 --- 681.3*I35 --- Computer communication networks: data communications; OSI; security and protection --- Processor architectures (Computer systems organization) --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Computerwetenschap--?*F0 --- Computational geometry and object modeling (Computer graphics) --- 681.3*I35 Computational geometry and object modeling (Computer graphics) --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*C1 Processor architectures (Computer systems organization) --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- Computer science --- Congresses --- Computer network architectures. --- Computer software. --- Logic design. --- Computer science. --- Combinatorics. --- Microprogramming. --- Computer System Implementation. --- Algorithm Analysis and Problem Complexity. --- Logics and Meanings of Programs. --- Mathematical Logic and Formal Languages. --- Control Structures and Microprogramming. --- Computer programming --- Combinatorics --- Algebra --- Mathematical analysis --- Informatics --- Science --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture