Sciweavers

988 search results - page 72 / 198
» Tarski's system of geometry
Sort
View
SIGGRAPH
2000
ACM
14 years 1 months ago
QSplat: a multiresolution point rendering system for large meshes
Advances in 3D scanning technologies have enabled the practical creation of meshes with hundreds of millions of polygons. Traditional algorithms for display, simplification, and ...
Szymon Rusinkiewicz, Marc Levoy
AUTOMATICA
2007
75views more  AUTOMATICA 2007»
13 years 9 months ago
Systematic ultimate bound computation for sampled-data systems with quantization
We present a novel systematic method to obtain componentwise ultimate bounds in perturbed sampled-data systems, especially when the perturbations arise due to quantization. The pr...
Hernan Haimovich, Ernesto Kofman, María M. ...
TOG
2002
148views more  TOG 2002»
13 years 8 months ago
Pointshop 3D: an interactive system for point-based surface editing
We present a system for interactive shape and appearance editing of 3D point-sampled geometry. By generalizing conventional 2D pixel editors, our system supports a great variety o...
Matthias Zwicker, Mark Pauly, Oliver Knoll, Markus...
ICCV
2003
IEEE
14 years 11 months ago
Scene Modeling Based on Constraint System Decomposition Techniques
We present a new approach to 3D scene modeling based on geometric constraints. Contrary to the existing methods, we can quickly obtain 3D scene models that respect the given const...
Marta Wilczkowiak, Gilles Trombettoni, Christophe ...
FATES
2004
Springer
14 years 2 months ago
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
Behzad Bordbar, Kozo Okano