Unobstructed Shortest Paths in Polyhedral Environments

Unobstructed Shortest Paths in Polyhedral Environments

Author: Varol Akman

Publisher: Springer Science & Business Media

Published: 1987-03-11

Total Pages: 116

ISBN-13: 9783540176299

DOWNLOAD EBOOK

The first examination of the cervical spine is always made using standard radiographs and, often enough, this suffices as a basis for diagnosis. Malformations, tumours, and more frequently traumas, rheumatism, and even ordinary neck pain require radiological examination of the spine. Interpretation, however, is difficult. Take a cervical vertebra in your hand and you will see that it is complex enough itself. In radiology the overlapping pieces of bone, summation phenomena and the diversity of viewing angles complicate interpretation of the images still further. The book by J.-F. Bonneville and F. Cattin suggests an original method of reading the radiographs, strict but very attractive, which considerably simplifies the interpretation of images of the cervical spine. This book shows that two- or threedimensional computed tomograms accompany standard radiographs as an excellent aid to comprehension. It is as though the reader had access to each part of the bony anatomy shown in the radiographs and from then on everything becomes easy, superimpositions disappear, traps become visible, anatomy triumphs, the image lives.


Integer Programming and Related Areas

Integer Programming and Related Areas

Author: Rabe v. Randow

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 522

ISBN-13: 3642516548

DOWNLOAD EBOOK

The fields of integer programming and combinatorial optimization continue to be areas of great vitality, with an ever increasing number of publications and journals appearing. A classified bibliography thus continues to be necessary and useful today, even more so than it did when the project, of which this is the fifth volume, was started in 1970 in the Institut fur Okonometrie und Operations Research of the University of Bonn. The pioneering first volume was compiled by Claus Kastning during the years 1970 - 1975 and appeared in 1976 as Volume 128 of the series Lecture Notes in Economics and Mathematical Systems published by the Springer Verlag. Work on the project was continued by Dirk Hausmann, Reinhardt Euler, and Rabe von Randow, and resulted in the publication of the second, third, and fourth volumes in 1978, 1982, and 1985 (Volumes 160, 197, and 243 of the above series). The present book constitutes the fifth volume of the bibliography and covers the period from autumn 1984 to the end of 1987. It contains 5864 new publications by 4480 authors and was compiled by Rabe von Randow. Its form is practically identical to that of the first four volumes, some additions having been made to the subject list.


Geometry and Vision

Geometry and Vision

Author: Minh Nguyen

Publisher: Springer Nature

Published: 2021-03-17

Total Pages: 394

ISBN-13: 303072073X

DOWNLOAD EBOOK

This book constitutes selected papers from the First International Symposium on Geometry and Vision, ISGV 2021, held in Auckland, New Zealand, in January 2021. Due to the COVID-19 pandemic the conference was held in partially virtual format. The 29 papers were thoroughly reviewed and selected from 50 submissions. They cover topics in areas of digital geometry, graphics, image and video technologies, computer vision, and multimedia technologies.


Autonomous Robot Vehicles

Autonomous Robot Vehicles

Author: Ingemar J. Cox

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 478

ISBN-13: 1461389976

DOWNLOAD EBOOK

Autonomous robot vehicles are vehicles capable of intelligent motion and action without requiring either a guide or teleoperator control. The recent surge of interest in this subject will grow even grow further as their potential applications increase. Autonomous vehicles are currently being studied for use as reconnaissance/exploratory vehicles for planetary exploration, undersea, land and air environments, remote repair and maintenance, material handling systems for offices and factories, and even intelligent wheelchairs for the disabled. This reference is the first to deal directly with the unique and fundamental problems and recent progress associated with autonomous vehicles. The editors have assembled and combined significant material from a multitude of sources, and, in effect, now conviniently provide a coherent organization to a previously scattered and ill-defined field.


First International Conference on Artificial Intelligence and Cognitive Computing

First International Conference on Artificial Intelligence and Cognitive Computing

Author: Raju Surampudi Bapi

Publisher: Springer

Published: 2018-11-04

Total Pages: 704

ISBN-13: 9811315809

DOWNLOAD EBOOK

This book presents original research works by researchers, engineers and practitioners in the field of artificial intelligence and cognitive computing. The book is divided into two parts, the first of which focuses on artificial intelligence (AI), knowledge representation, planning, learning, scheduling, perception-reactive AI systems, evolutionary computing and other topics related to intelligent systems and computational intelligence. In turn, the second part focuses on cognitive computing, cognitive science and cognitive informatics. It also discusses applications of cognitive computing in medical informatics, structural health monitoring, computational intelligence, intelligent control systems, bio-informatics, smart manufacturing, smart grids, image/video processing, video analytics, medical image and signal processing, and knowledge engineering, as well as related applications.


Computational Geometry

Computational Geometry

Author: Mark de Berg

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 367

ISBN-13: 3662034271

DOWNLOAD EBOOK

Computational geometry emerged from the field of algorithms design and anal ysis in the late 1970s. It has grown into a recognized discipline with its own journals, conferences, and a large community of active researchers. The suc cess of the field as a research discipline can on the one hand be explained from the beauty of the problems studied and the solutions obtained, and, on the other hand, by the many application domains--computer graphics, geographic in formation systems (GIS), robotics, and others-in which geometric algorithms play a fundamental role. For many geometric problems the early algorithmic solutions were either slow or difficult to understand and implement. In recent years a number of new algorithmic techniques have been developed that improved and simplified many of the previous approaches. In this textbook we have tried to make these modem algorithmic solutions accessible to a large audience. The book has been written as a textbook for a course in computational geometry, but it can also be used for self-study.


ECOOP '87. European Conference on Object-Oriented Programming

ECOOP '87. European Conference on Object-Oriented Programming

Author: Jean Bezivin

Publisher: Springer

Published: 2007-03-06

Total Pages: 282

ISBN-13: 3540478914

DOWNLOAD EBOOK

In October 1983 an informal meeting was organized in Le Cap d'Agde with the help of the BIGRE bulletin. Sixty people turned out to hear more than ten presentations on object-oriented programming. More important was their unanimous demand for other, more structured encounters. So, about one year later, the Object group was created by AFCET. A second workshop was organized in Brest, and again one year later in Paris, each time showing increased attendance and interest. The success of these meetings and the fact that similar activities were taking place in other European countries, especially Great Britain and Germany, led to the idea of an annual European Conference, providing a forum for theorists and practitioners interested in the object-oriented programming paradigm. It is impossible to acknowledge here all the people and organizations that welcomed with great enthusiasm the birth of the ECOOP conference and contributed to its organization. More than a hundred submissions were received and the program committee had the unpleasant task of turning down many valuable contributions. We hope, however, that the selection of papers for ECOOP'87 emphasizes the fundamental issues and problems of object-oriented programming and will point toward interesting future research directions.


A Connotational Theory of Program Structure

A Connotational Theory of Program Structure

Author: James S. Royer

Publisher: Springer Science & Business Media

Published: 1987-08-26

Total Pages: 196

ISBN-13: 9783540182535

DOWNLOAD EBOOK

This book presents developments of a language independent theory of program structure. The theory features a simple, natural notion of control structure which is much broader than in other theories of programming languages such as denotational semantics and program schemes. This notion permits treatment of control structures which involve not only the denotation of programs (i.e., their input/output behavior), but also their structure, size, run times, etc. The theory also treats the relation of control structure and complexity properties of programming languages. The book focuses on expressive interdependencies of control structures (which control structures can be expressed by which others). A general method of proving control structures expressively independent is developed. The book also considers characterizations of the expressive power of general purpose programming languages in terms of control structures. Several new characterizations are presented and two compactness results for such characterizations are shown.


System Development and Ada

System Development and Ada

Author: A. Nico Habermann

Publisher: Springer Science & Business Media

Published: 1987-09-23

Total Pages: 316

ISBN-13: 9783540183419

DOWNLOAD EBOOK

The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues and mechanisms. Of particular interest are the discussions of automation of the development process and the formalization of software development specifications. Several new methodologies are described, many of which are available on the commercial market. New is in particular the formalization of the design and development process. Interesting ideas are presented on planning the design process and on supporting project management by formal tools. The reader will find a variety of interesting methodologies and mechanisms that are operational. The book is suitable for readers interested in knowing in which direction programming environment research is moving.


Spatial Representation and Motion Planning

Spatial Representation and Motion Planning

Author: Angel P. del Pobil

Publisher: Springer Science & Business Media

Published: 1995-11-08

Total Pages: 260

ISBN-13: 9783540606208

DOWNLOAD EBOOK

This book is devoted to the development of adequate spatial representations for robot motion planning. Drawing upon advanced heuristic techniques from AI and computational geometry, the authors introduce a general model for spatial representation of physical objects. This model is then applied to two key problems in intelligent robotics: collision detection and motion planning. In addition, the application to actual robot arms is kept always in mind, instead of dealing with simplified models. This monograph is built upon Angel del Pobil's PhD thesis which was selected as the winner of the 1992 Award of the Spanish Royal Academy of Doctors.