Detail page

Knowledge Web

Allgemeinbegriff

Modellgenerierung (Künstliche Intelligenz)

Automatisches Beweisverfahren

Subject heading	Modellgenerierung (Künstliche Intelligenz)
Definition	Methoden des automatischen Beweisens, mit denen die Erfüllbarkeit einer logischen Spezifikation dadurch gezeigt wird, daß man Modelle der Spezifikation berechnet (Karsten Konrad).
Broader term	Automatisches Beweisverfahren
Topic	Informatik, Datenverarbeitung
Source	Vorlage
Record type	Allgemeinbegriff
GND-Identifier	4709113-7
Record ID	965667731
Topic of show all Simulationsgestützte Landmarkendetektion, Lokalisierung und Modellgenerierung für mobile Systeme Modellbasierte Poseschätzung in monokularen Aufnahmen unter Verwendung geometrischer Modelle Bewertung der BPEL-Modellierungsmöglichkeiten im ARIS Toolset Model generation for natural language interpretation and analysis Visuelle Spezifikation interaktiver Softwaresysteme Model generation for natural language interpretation and analysis SHR tableaux : a framework for automated model generation

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Modellgenerierung (Künstliche Intelligenz)

Simulationsgestützte Landmarkendetektion, Lokalisierung und Modellgenerierung für mobile Systeme

Modellbasierte Poseschätzung in monokularen Aufnahmen unter Verwendung geometrischer Modelle

Bewertung der BPEL-Modellierungsmöglichkeiten im ARIS Toolset

Model generation for natural language interpretation and analysis

Visuelle Spezifikation interaktiver Softwaresysteme

Model generation for natural language interpretation and analysis

SHR tableaux : a framework for automated model generation