Lecture Notes in Computer Science 2011

Among the topics addressed in their relation to discovery science are inference, algorithmic learning, heuristic search, database management, data mining, inductive logic programming, information agents, information retrieval, information visualization, etc.

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997. The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process. The papers cover work related to all aspects of theorem proving in higher order logics, particularly based on secure mechanization of those logics; the theorem proving systems addressed include Coq, HOL, Isabelle, LEGO, and PVS.

This book constitutes the refereed proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '97, held in Murray Hill, NJ, USA, in August 1997. The volume presents 19 carefully revised full papers selected from 32 submissions during a thorough reviewing process.

The purpose of this volume is to provide a summary of a body of work which has reached a relativeiy stable state. The work is, however, far from complete (in the sense - even - that the authors whose work is presented here feel that they have satisfactory solutions to the problems they set out to solve.) Notwithstanding their own recognition of difficulties and shortcomings in the current presentation, the authors hope that what has been achieved may be of use to others. Furthermore, a summary of the results of any significant effort may be hoped to stimulate the work of researchworkers.

This monograph is devoted to the problem of inferring geometric information about arbitrarily curved surfaces from visual cues; this is a central problem in computer vision with immediate relevance for robot manipulation and navigation. The author develops computational theories and techniques relating visual information arising from viewer movements to the differential geometry of visible surfaces. The theories developed have been implemented and tested using a real-time tracking system based on deformable contours. Applications of the techniques to geometric modelling, obstacle avoidance, navigation, and object manipulation are presented.

The LNCS Journal on Data Semantics is devoted to the presentation of notable work that, in one way or another, addresses research and development on issues related to data semantics.

This book constitutes the refereed conference proceedings of the 31st British International Conference on Databases, BICOD 2017 - formerly known as BNCOD (British National Conference on Databases) - held in London, UK, in July 2017.