Sciweavers

2183 search results - page 275 / 437
» Algorithmic issues in modeling motion
Sort
View
CSCLP
2008
Springer
15 years 6 months ago
Challenges in Constraint-Based Analysis of Hybrid Systems
In the analysis of hybrid discrete-continuous systems, rich arithmetic constraint formulae with complex Boolean structure arise naturally. The iSAT algorithm, a solver for such for...
Andreas Eggers, Natalia Kalinnik, Stefan Kupfersch...
VCIP
2003
15 years 6 months ago
Three-dimensional mesh simplification using normal variation error metric and modified subdivided edge classification
In order to transmit or store three-dimensional (3-D) mesh models efficiently, we need to simplify them. Although the quadric error metric (QEM) provides fast and accurate geometr...
Eun-Young Chang, Chung-Hyun Ahn, Yo-Sung Ho
BXML
2003
15 years 6 months ago
Rule-Based Generation of XML Schemas from UML Class Diagrams
We present an approach of how to automatically extract an XML document structure from a conceptual data model that describes the content of the document. We use UML class diagrams ...
Tobias Krumbein, Thomas Kudrass
PODS
2007
ACM
196views Database» more  PODS 2007»
16 years 5 months ago
On the complexity of managing probabilistic XML data
In [3], we introduced a framework for querying and updating probabilistic information over unordered labeled trees, the probabilistic tree model. The data model is based on trees ...
Pierre Senellart, Serge Abiteboul
ADT
2005
15 years 4 months ago
High rate compression of CAD meshes based on subdivision inversion
In this paper we present a new framework, based on subdivision surface approximation, for efficient compression and coding of 3D models represented by polygonal meshes. Our algorit...
Guillaume Lavoué, Florent Dupont, Atilla Ba...