Plumer lutz (25 Ergebnisse)
- Softcover
Anbieter: Libros Ambigú, Madrid, M, SpanienLibros Ambigú
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht
EUR 4,20
EUR 31,00 VersandVersand von Spanien nach USAAnzahl: 1 verfügbar
Zustand: Normal. Springer-Verlag. Germany, 1990 24 x 15,5 cm., 142 pag. Tapa blanda;buen estado de conservacion. INTELIGENCIA ARTIFICIAL . Ejemplares disponibles: 1 Normal.
- Hardcover
Anbieter: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Deutschlandbooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 17,95
EUR 19,95 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
gebundene Ausgabe. Zustand: Gut. 404 Seiten Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber und kann entsprechende Merkmale aufweisen (Rückenschild, Instituts-Stempel.). Sprache: Englisch Gewicht in Gramm: 975.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 59,49
EUR 14,02 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: Chiron Media, Wallingford, Vereinigtes KönigreichChiron Media
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 57,23
EUR 18,13 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 10 verfügbar
PF. Zustand: New.
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 73,60
EUR 2,32 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 61,24 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 specialdifficulties 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.
- Softcover
- Erstausgabe
Anbieter: Pórtico [Portico], ZARAGOZA, Z, SpanienPórtico [Portico]
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 83,50
EUR 35,00 VersandVersand von Spanien nach USAAnzahl: 1 verfügbar
Tapa blanda. Zustand: New. 1ª edición. FOERSTNER, W. / L. PLUEMER, EDS.: SEMANTIC MODELING FOR THE ACQUISITION OF TOPOGRAPHIC INFORMATION FROM IMAGES AND MAPS. SMATI 97. BASEL, 1997, vii 227 p. figuras, 670 gr. Encuadernacion original. Nuevo. (HZD) 670 gr. Libro.
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 122,69
EUR 2,32 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 122,39
EUR 14,02 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandKennys Bookshop and Art Galleries Ltd.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 133,87
EUR 10,50 VersandVersand von Irland nach USAAnzahl: 15 verfügbar
Zustand: New. Contains papers which were presented at the Workshop 'SMATI '97'. This volume offers a comprehensive selection of contributions, treating both theoretical and implementation issues and integrating aspects of photogrammetry, cartography, computer vision and image understanding. Editor(s): Forstner, Wolfgang; Plumer,… Lutz. Num Pages: 238 pages, biography. BIC Classification: RGS; RGW; UYQV; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 14. Weight in Grams: 1150. . 1997. Hardback. . . . .
- Softcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 121,78
EUR 29,27 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Paperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 153,75
EUR 2,32 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: As New. Unread book in perfect condition.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 62,68 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Acquiring spatial data for geoinformation systems is still 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 diffi…cult 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. This volume collects papers which were presented at the Workshop 'SMATI '97'. The workshop focused on 'Semantic Modeling for the Acquisition of Topographic Information from Images and Maps.' This volume offers a comprehensive selection of high-quality and in-depth contributions by experts of the field coming from leading research institutes, treating both theoretical and implementation issues and integrating aspects of photogrammetry, cartography, computer vision, and image understanding.
- Hardcover
Anbieter: Kennys Bookstore, Olney, MD, USAKennys Bookstore
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 169,78
EUR 9,21 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: New. Contains papers which were presented at the Workshop 'SMATI '97'. This volume offers a comprehensive selection of contributions, treating both theoretical and implementation issues and integrating aspects of photogrammetry, cartography, computer vision and image understanding. Editor(s): Forstner, Wolfgang; Plumer,… Lutz. Num Pages: 238 pages, biography. BIC Classification: RGS; RGW; UYQV; UYS; UYT. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 254 x 178 x 14. Weight in Grams: 1150. . 1997. Hardback. . . . . Books ship from the US and Ireland.
- Hardcover
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes KönigreichMispah books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Gebraucht - Wie neu
EUR 165,18
EUR 29,27 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Hardcover. Zustand: Like New. Like New. book.
- Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 197,89
EUR 2,32 VersandVersand innerhalb von USAAnzahl: 15 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: Buchpark, Trebbin, DeutschlandBuchpark
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Sehr gut
EUR 232,18
EUR 105,00 VersandVersand von Deutschland nach USAAnzahl: 3 verfügbar
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Deutsch | Produktart: Bücher | Keine Beschreibung verfügbar.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 p…rograms could be achieved automatically. This book gives a comprehensive discussion of the termination problem in the context of logic programming. Although logic programs pose specialdifficulties 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. 156 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 f…or nontrivial programs could be achiev.
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book presents a technique for the automatic generation of termination proofs for logic programs, which constitute a crucial part of program verification. Several nontrivial examples are discussed.Springer-Verlag KG, Sachsenplatz 4-6,… 1201 Wien 156 pp. Englisch.
Weitere Bilder- Softcover
- Print-on-Demand
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Termination Proofs for Logic Programs | Lutz Plümer | Taschenbuch | viii | Englisch | 1990 | Springer | EAN 9783540528371 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
Sprache: Englisch
Verlag: Springer, Basel, Birkhäuser Basel, Birkhäuser Mai 1997, 1997
- Hardcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 112,34
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Buch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Acquiring spatial data for geoinformation systems is still 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 thes…e 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. This volume collects papers which were presented at the Workshop 'SMATI '97'. The workshop focused on 'Semantic Modeling for the Acquisition of Topographic Information from Images and Maps.' This volume offers a comprehensive selection of high-quality and in-depth contributions by experts of the field coming from leading research institutes, treating both theoretical and implementation issues and integrating aspects of photogrammetry, cartography, computer vision, and image understanding. 231 pp. Englisch.
- Hardcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 92,27
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Acquiring spatial data for geoinformation systems is still mainly done by human operators who analyze images using classical photogrammetric equipment or digitize maps, possibly assisted by some low level image processi…ng. Automation of these tasks is diffi.
- Hardcover
- Print-on-Demand
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 95,70
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Buch. Zustand: Neu. Semantic Modeling for the Acquisition of Topographic Information from Images and Maps | SMATI 97 | Lutz Plümer (u. a.) | Buch | vii | Englisch | 1997 | Springer Basel | EAN 9783764357580 | Verantwortliche Person für die EU: Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Be…rlin, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
- Hardcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Acquiring spatial data for geoinformation systems is still 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 ta…sks 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. This volume collects papers which were presented at the Workshop 'SMATI '97'. The workshop focused on 'Semantic Modeling for the Acquisition of Topographic Information from Images and Maps.' This volume offers a comprehensive selection of high-quality and in-depth contributions by experts of the field coming from leading research institutes, treating both theoretical and implementation issues and integrating aspects of photogrammetry, cartography, computer vision, and image understanding.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 244 pp. Englisch.
