7512 search results - page 1435 / 1503 » Robust Computations with Dynamical Systems |
180
click to vote
JAR
2000
15 years 5 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
162
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper presents a probing-based method for probabilistic localization in automated robotic assembly. We consider peg-in-hole problems in which a needle-like peg has a single p...
170
click to vote
ICIP
2009
IEEE
15 years 3 months ago
2009
IEEE
To have a robust and informative image content representation for image categorization, we often need to extract as many as possible visual features at various locations, scales a...
181
click to vote
TVCG
2011
15 years 14 days ago
2011
—This paper describes a complete system to create anatomically accurate example-based volume deformation and animation of articulated body regions, starting from multiple in vivo...
164
click to vote
SIAMIS
2010
15 years 8 days ago
2010
We study geometric reconstruction problems in one-dimensional retina vision. In such problems, the scene is modeled as a 2D plane, and the camera sensor produces 1D images of the s...