Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bardis, G.: Intelligent Personalization in a Scene Modeling Environment. In: Miaoulis, G., Plemenos, D. (eds.) Intelligent Scene Modelling Information Systems. SCI, vol. 181. Springer, Heidelberg (2009) ISBN 978-3-540-92901-7
Bidarra, R., et al.: Integrating semantics and procedural generation: key enabling factors for declarative modeling of virtual worlds. In: Proceedings of the FOCUS K3D Conference on Semantic 3D Media and Content, France (February 2010)
Bonnefoi, P.-F., et al.: Declarative modeling in computer graphics: current results and future issues. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2004. LNCS, vol. 3039, pp. 80–89. Springer, Heidelberg (2004)
Estratat, M., et al.: An interfacing module using configuration for declarative design of NURBS surfaces. In: 3IA 2006, Limoges, pp. 85–96 (2006)
Golfinopoulos, V.: Understanding Scenes. In: Miaoulis, G., Plemenos, D. (eds.) Intelligent Scene Modelling Information Systems. SCI, vol. 181. Springer, Heidelberg (2009) ISBN 978-3-540-92901-7
Kwaiter, G.: A General Approach to Constraint Solving for Declarative Modeling Domain. In: International Conference on Information Visualisation, vol. iv, p. 424 (1999)
Makris, D., et al.: Towards a domain-specific knowledge intelligent information system for Computer-Aided Architectural Design. In: 3IA 2003, Limoges, pp. 65–78 (2003) ISBN 2-914256-06-X
Makris, D.: Aesthetic–Aided Intelligent 3D Scene Synthesis. In: Miaoulis, G., Plemenos, D. (eds.) Intelligent Scene Modelling Information Systems. SCI, vol. 181. Springer, Heidelberg (2009) ISBN 978-3-540-92901-7
Martin, D., et al.: PolyFormes: software for the declarative modeling of polyhedra. The Visual Computer, 55–76 (1999)
van der Meiden, H.A., et al.: Solving topological constraints for declarative families of objects. Computer-Aided Design 39(8), 652–662 (2007)
Miaoulis, G.: Contribution à l’étude des Systèmes d’Information Multimédia et Intelligent dédiés à la Conception Déclarative Assistée par l’Ordinateur – Le projet MultiCAD, Thèse de Doctorat, Université de Limoges, France (2002)
Michelis, P.: The Greek Traditional House. EMP Press, Athens (1981)
Miguel, I.: Dynamic Flexible Constraint Satisfaction and its Application to AI Planning. Springer Distinguished Dissertations Series (2004)
Mitchell, M.: An introduction to Genetic Algorithms. MIT Press, Cambridge (1998)
Muller, P., et al.: Procedural modeling of buildings. ACM Transactions on Graphics 25(3), 614–623 (2006)
Plemenos, D.: A contribution to study and development of scene modeling, generation and display techniques - The MultiFormes project. Professorial Dissertation, Nantes, France (1991)
Ruchaud, W., et al.: Multiformes: A declarative modeller as a 3D scene sketching tool. In: ICCVG, Zakopane, Poland (2002)
Smelik, R., et al.: Declarative Terrain Modeling for Military Training Games. International Journal of Computer Games Technology 2010 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bardis, G., Makris, D., Golfinopoulos, V., Miaoulis, G., Plemenos, D. (2011). A Formal Framework for Declarative Scene Description Transformation into Geometric Constraints. In: König, A., Dengel, A., Hinkelmann, K., Kise, K., Howlett, R.J., Jain, L.C. (eds) Knowledge-Based and Intelligent Information and Engineering Systems. KES 2011. Lecture Notes in Computer Science(), vol 6881. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23851-2_36
Download citation
DOI: https://doi.org/10.1007/978-3-642-23851-2_36
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-23850-5
Online ISBN: 978-3-642-23851-2
eBook Packages: Computer ScienceComputer Science (R0)