Sciweavers

271 search results - page 4 / 55
» Procedural Urban Modeling in Practice
Sort
View
WCE
2007
13 years 8 months ago
Procedures of Parameters' estimation of AR(1) models into lineal state-space models
—The objective of this paper is to study how algorithms of optimization affect the parametersestimation of Autoregressive AR(1)Models. In our research we have represented the AR...
Rouhia Noomene
3DPVT
2004
IEEE
106views Visualization» more  3DPVT 2004»
13 years 11 months ago
Metrological Analysis of a Procedure for the Automatic 3D Modeling of Dental Plaster Casts
As well known, in the reconstruction of the 3D models through optical systems, the errors are due to the singleview acquisition error and to the 3D modeling procedure. The latter ...
Nicola Brusco, Simone Carmignato, Marco Andreetto,...
CONTEXT
2007
Springer
14 years 1 months ago
Context Modeling: Task Model and Practice Model
Contextual Graphs are a context-based formalism used in various real-world applications. They allow a uniform representation of elements of reasoning and of contexts for describing...
Patrick Brézillon
SIGGRAPH
2010
ACM
13 years 12 months ago
A connection between partial symmetry and inverse procedural modeling
In this paper, we address the problem of inverse procedural modeling: Given a piece of exemplar 3D geometry, we would like to find a set of rules that describe objects that are s...
Martin Bokeloh, Michael Wand, Hans-Peter Seidel
CAV
2000
Springer
187views Hardware» more  CAV 2000»
13 years 11 months ago
Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking
In this paper we show how to do symbolic model checking using Boolean Expression Diagrams (BEDs), a non-canonical representation for Boolean formulas, instead of Binary Decision Di...
Poul Frederick Williams, Armin Biere, Edmund M. Cl...