Sciweavers

480 search results - page 77 / 96
» A practical bottleneck detection method
Sort
View
ICFP
2009
ACM
14 years 3 months ago
Finding race conditions in Erlang with QuickCheck and PULSE
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...
Koen Claessen, Michal Palka, Nicholas Smallbone, J...
ICARCV
2008
IEEE
170views Robotics» more  ICARCV 2008»
14 years 3 months ago
Mixed state estimation for a linear Gaussian Markov model
— We consider a discrete-time dynamical system with Boolean and continuous states, with the continuous state propagating linearly in the continuous and Boolean state variables, a...
Argyris Zymnis, Stephen P. Boyd, Dimitry M. Gorine...
ICCV
2007
IEEE
14 years 3 months ago
Symmetries of non-rigid shapes
Symmetry and self-similarity is the cornerstone of Nature, exhibiting itself through the shapes of natural creations and ubiquitous laws of physics. Since many natural objects are...
Daniel Raviv, Alexander M. Bronstein, Michael M. B...
ISVC
2007
Springer
14 years 3 months ago
Automated Scene-Specific Selection of Feature Detectors for 3D Face Reconstruction
In comparison with 2D face images, 3D face models have the advantage of being illumination and pose invariant, which provides improved capability of handling changing environments ...
Yi Yao, Sreenivas R. Sukumar, Besma R. Abidi, Davi...
VRCAI
2006
ACM
14 years 2 months ago
Kinetic bounding volume hierarchies for deformable objects
We present novel algorithms for updating bounding volume hierarchies of objects undergoing arbitrary deformations. Therefore, we introduce two new data structures, the kinetic AAB...
Gabriel Zachmann, Rene Weller