3909 search results - page 526 / 782 » Extreme Model Checking |
161
click to vote
TVLSI
2008
15 years 6 months ago
2008
With continued scaling into the sub-90nm regime, the role of process, voltage and temperature (PVT) variations on the performance of VLSI circuits has become extremely important. T...
189
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper presents a novel and efficient algorithm for the 3D range to 2D image registration problem in urban scene settings. Our input is a set of unregistered 3D range scans an...
185
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a Bayesian framework for content-based image retrieval which models the distribution of color and texture features within sets of related images. Given a userspecified ...
174
Voted
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
We present a method for real-time image based simulation of gaseous material such as fire and smoke. We model the kinematics of these phenomena by a mass-spring system, and their ...
153
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper we propose a system that recognises gait and quadruped structure from a sparse set of tracked points. In this work the motion information is derived from dynamic wil...