Lutz Plümer - Böcker
Visar alla böcker från författaren Lutz Plümer. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
552 kr
Skickas inom 10-15 vardagar
Termination proofs constitute a crucial part of program verification. Much research about termination has been done in the context of term rewriting systems. But until now there was little hope that termination proofs for nontrivial programs could be achieved automatically. This book gives a comprehensive discussion of the termination problem in the context of logic programming. Although logic programs pose special difficulties for termination proofs it turns out that automation of this task is obtainable to a much larger degree than for programs in imperative languages. A technique for the automatic derivation of termination proofs is presented in detail. The discussion of several nontrivial examples illustrates its range of applicability. The approach is based on the concept of declarative semantics, and thus makes use of an important feature of logic programming.
Semantic Modeling for the Acquisition of Topographic Information from Images and Maps
SMATI 97
Inbunden, Engelska, 1997
1 064 kr
Skickas inom 10-15 vardagar
Acquiring spatial data for Geo information systems still is mainly done by human operators who analyze images using classical photogrammetric equipment or digitize maps, possibly assisted by some low level image processing. Automation of these tasks is difficult due to the complexity of the object, the topography, and the deficiency of current pattern recognition and image analysis tools for achieving a reliable transition from the data to the high level description of topographic objects. It appears that progress in automation only can be achieved by incorporating domain specific semantic models into the analysis procedures. The papers in this text combine theoretical and practical issues, and integrate aspects of photogrammetry, cartography, computer vision, and image understanding.