Sciweavers

574 search results - page 14 / 115
» On the Validity of Hierarchical Decompositions
Sort
View
CGF
2004
117views more  CGF 2004»
13 years 8 months ago
Space-Time Hierarchical Radiosity with Clustering and Higher-Order Wavelets
We address in this paper the issue of computing diffuse global illumination solutions for animation sequences. The principal difficulties lie in the computational complexity of gl...
Cyrille Damez, Nicolas Holzschuch, François...
ICASSP
2010
IEEE
13 years 7 months ago
A hierarchical Bayesian model for frame representation
In many signal processing problems, it may be fruitful to represent the signal under study in a redundant linear decomposition called a frame. If a probabilistic approach is adopt...
Lotfi Chaâri, Jean-Christophe Pesquet, Jean-...
ICRA
2010
IEEE
107views Robotics» more  ICRA 2010»
13 years 7 months ago
Fast resolution of hierarchized inverse kinematics with inequality constraints
— Classically, the inverse kinematics is performed by computing the singular value decomposition of the matrix to invert. This enables a very simple writing of the algorithm. How...
Adrien Escande, Nicolas Mansard, Pierre-Brice Wieb...
GISCIENCE
2008
Springer
115views GIS» more  GISCIENCE 2008»
13 years 9 months ago
Validation and Storage of Polyhedra through Constrained Delaunay Tetrahedralization
Abstract. Closed, watertight, 3D geometries are represented by polyhedra. Current data models define these polyhedra basically as a set of polygons, leaving the test on intersectin...
Edward Verbree, Hang Si
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
14 years 2 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra