Posted by **thingska** at May 21, 2017

English | 2008 | ISBN: 3540403442, 9783540403449 | 150 Pages | PDF | 984.62 KB

Posted by **avava** at June 12, 2013

ISBN: 3642226388 | 2011 | PDF | 279 pages | 8.6 MB

Posted by **Direktor69** at May 11, 2013

ISBN: 3540429565 | edition 2001 | PDF | 409 pages | 5 mb

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.

Posted by **avava** at May 3, 2013

Publisher: S-r | ISBN: 364217244X | 2011 | PDF | 333 pages | 4.9 MB

Posted by **tvladb** at Aug. 17, 2012

Publisher: Springer; 1 edition (September 12, 1997) | ISBN: 3540633790 | Pages: 339 | PDF | 25.43 MB

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.

Posted by **pepoimc** at June 17, 2011

Publisher: Springer; 1 edition (September 12, 1997) | ISBN: 3540633790 | Pages: 339 | PDF | 25.43 MB

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.

Posted by **s13tas** at March 2, 2011

Publisher: Springer | ISBN: 3540087664 | edition 1978 | PDF | 398 pages | 14,97 mb

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.

Posted by **s13tas** at March 1, 2011

Publisher: Springer | ISBN: 3540606424 | edition 1995 | PDF | 203 pages | 17,48 mb

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.

Posted by **robin-bobin** at Dec. 22, 2008

by Stefano Spaccapietra, Jeff Z. Pan, Philippe Thiran, Terry Halpin, Steffen Staab, Vojtech Svatek, Pav

Publisher: Springer 2009-01 | 235 Pages | ISBN: 3540921478; 9783540921479 | PDF | 10 MB

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.

Posted by **hill0** at July 2, 2017

English | 14 Jun. 2017 | ISBN: 3319607944 | 188 Pages | PDF | 9.82 MB

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.