Proceedings

Proceedings
Author:
Publisher:
Total Pages: 238
Release: 1997
Genre: Artificial intelligence
ISBN:

Foundations of Computer Software

Foundations of Computer Software
Author: Radu Calinescu
Publisher: Springer Science & Business Media
Total Pages: 249
Release: 2011-05-23
Genre: Computers
ISBN: 3642212913

This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Monterey Workshop, held in Redmond, WA, USA, in March/April 2010. The theme of the workshop was Foundations of Computer Software, with a special focus on Modeling, Development, and Verification of Adaptive Systems. The 13 revised full papers presented were carefully reviewed and selected from numerous submissions for inclusion in the book. The contributions show how the foundations and development techniques of computer software could be adapted even for industrial safety-critical and business-critical applications to improve dependability and robustness and to ensure information privacy and security.

Proceedings of the 11th Annual Pacific Climate (PACLIM) Workshop

Proceedings of the 11th Annual Pacific Climate (PACLIM) Workshop
Author: Caroline M. Isaacs
Publisher: DIANE Publishing
Total Pages: 256
Release: 1995
Genre: Climatic changes
ISBN: 9780788124754

20 papers included: tree ring records from Tasmania; evaluation of the relative importance of temperature and precipitation to major paleoenvironmental changes; link between volcanism and climate cooling; examination of decadel to century time-scale variability in the climate system; nonlinear time series analysis; deterministic chaos offers a new paradigm for understanding irregular fluctuations; summer temperature reconstructions from tree-ring chronologies; paleoclimatic data for Mexico; South American hydrology; El Nino events; and more.

Handbook on Ontologies

Handbook on Ontologies
Author: Steffen Staab
Publisher: Springer Science & Business Media
Total Pages: 661
Release: 2013-04-17
Genre: Computers
ISBN: 3540247505

An ontology is a description (like a formal specification of a program) of concepts and relationships that can exist for an agent or a community of agents. The concept is important for the purpose of enabling knowledge sharing and reuse. The Handbook on Ontologies provides a comprehensive overview of the current status and future prospectives of the field of ontologies. The handbook demonstrates standards that have been created recently, it surveys methods that have been developed and it shows how to bring both into practice of ontology infrastructures and applications that are the best of their kind.

Ontology Alignment

Ontology Alignment
Author: Marc Ehrig
Publisher: Springer Science & Business Media
Total Pages: 252
Release: 2006-12-22
Genre: Computers
ISBN: 038736501X

This book introduces novel methods and approaches for semantic integration. In addition to developing ground-breaking new methods for ontology alignment, the author provides extensive explanations of up-to-date case studies. It includes a thorough investigation of the foundations and provides pointers to future steps in ontology alignment with conclusion linking this work to the knowledge society.

Automatic Extraction of Man-Made Objects from Aerial Space Images

Automatic Extraction of Man-Made Objects from Aerial Space Images
Author: Armin Gruen
Publisher: Springer Science & Business Media
Total Pages: 346
Release: 1995-08-28
Genre: Computers
ISBN: 9783764352646

Presents the latest theoretical and implementational research into the automatic recognition and identification of roads, buildings, and other artifacts from digital aerial or satellite imagery. Some of the topics are inferring homogeneous regions from rich image attributes, three-dimensional reconstructions of urban scenes from sequences of images, geometric versus texture detail, tracking roads in satellite images by playing twenty questions, and the combination of aerial images and maps for interpreting urban scenes. The 29 papers were presented at a workshop in Zurich (date not noted). No subject index. Annotation copyright by Book News, Inc., Portland, OR

Information Modelling and Knowledge Bases XV

Information Modelling and Knowledge Bases XV
Author: Yasushi Kiyoki
Publisher: IOS Press
Total Pages: 348
Release: 2004
Genre: Computers
ISBN: 9781586033965

This book will provide research communities in Europe and Japan with an overview of scientific results and experiences achieved using innovative methods and approaches in computer science and other disciplines, which have a common interest in understanding and solving problems on information modelling and knowledge bases, as.

Information Reuse and Integration in Academia and Industry

Information Reuse and Integration in Academia and Industry
Author: Tansel Özyer
Publisher: Springer Science & Business Media
Total Pages: 314
Release: 2013-11-08
Genre: Computers
ISBN: 3709115388

The present work covers the latest developments and discoveries related to information reuse and integration in academia and industrial settings. The need for dealing with the large volumes of data being produced and stored in the last decades and the numerous systems developed to deal with these is increasingly necessary. Not all these developments could have been achieved without the investing large amounts of resources. Over time, new data sources evolve and data integration continues to be an essential and vital requirement. Furthermore, systems and products need to be revised to adapt new technologies and needs. Instead of building these from scratch, researchers in the academia and industry have realized the benefits of reusing existing components that have been well tested. While this trend avoids reinventing the wheel, it comes at the cost of finding the optimum set of existing components to be utilized and how they should be integrated together and with the new non-existing components which are to be developed. These nontrivial tasks have led to challenging research problems in the academia and industry. These issues are addressed in this book, which is intended to be a unique resource for researchers, developers and practitioners.

Enterprise Information Systems III

Enterprise Information Systems III
Author: Joaquim Filipe
Publisher: Springer Science & Business Media
Total Pages: 354
Release: 2002-03-31
Genre: Business & Economics
ISBN: 9781402005633

The purpose of the 3rd International Conference on Enterprise Information Systems (ICEIS) was to bring together researchers, engineers, and practitioners interested in the advances and business applications of information systems. The research papers published here have been carefully selected from those presented at the conference, and focus on real world applications covering four main themes: database and information systems integration; artificial intelligence and decision support systems; information systems analysis and specification; and internet computing and electronic commerce. Audience: This book will be of interest to information technology professionals, especially those working on systems integration, databases, decision support systems, or electronic commerce. It will also be of use to middle managers who need to work with information systems and require knowledge of current trends in development methods and applications.