A Formal Framework for Declarative Scene Description Transformation into Geometric Constraints

Autor:	Georgios Miaoulis, Georgios Bardis, Dimitrios Makris, Dimitri Plemenos, Vassilios Golfinopoulos
Rok vydání:	2011
Předmět:	Set (abstract data type) Constraint (information theory) Theoretical computer science Transformation (function) Basis (linear algebra) Process (engineering) Computer science Context (language use) Outcome (game theory)
Zdroj:	Knowledge-Based and Intelligent Information and Engineering Systems ISBN: 9783642238505 KES (1)
DOI:	10.1007/978-3-642-23851-2_36
Popis:	The disambiguation of a declarative visual model is a crucial step towards the generation of its geometric equivalents. Any abstract description has to be ultimately translated into a concrete set of values or relevant constraints, solely relying on quantifiable model characteristics. To this day, there is no general consensus with respect to a unified, formally defined model for this disambiguation process or the desired quantified outcome. The current work sets the basis for a uniform transformation process and the corresponding formal constraint model, inclusive of a number of already existing approaches for declarative modelling. The applicability of the proposed framework is exhibited in an existing declarative modelling environment, explicitly demonstrating its implementation in the specific context.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::69e389ae3e4d33b4039beaac0fb7f6a9 https://doi.org/10.1007/978-3-642-23851-2_36 Zobrazit plný text záznamu