Bokus

Lutz Plümer – författare

Visar alla böcker från författaren Lutz Plümer. Handla med fri frakt och snabb leverans.

2 produkter

  1. Lutz Plümer - Termination Proofs for Logic Programs, Häftad. Tillgänglighet: Lägg i varukorg

    Termination Proofs for Logic Programs

    Av Lutz Plümer

    Häftad, 1990

    569 kr

    Lägg i varukorg

    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 …

  2. Wolfgang Förstner, Lutz Plümer - Semantic Modeling for the Acquisition of Topographic Information from Images and Maps, Inbunden. Tillgänglighet: Lägg i varukorg

    Semantic Modeling for the Acquisition of Topographic Information from Images and Maps

    SMATI 97

    Av Wolfgang Förstner, Lutz Plümer

    Inbunden, 1997

    1098 kr

    Lägg i varukorg

    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, …