3116 search results - page 127 / 624 » Recovering |
153
click to vote
ICIP
2007
IEEE
15 years 10 months ago
2007
IEEE
Given a projective reconstruction of a 3D scene, we address the problem of recovering the Euclidean structure of the scene in a recursive way. This leads to the application of Kal...
113
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper presents a balance controller that allows a humanoid to recover from large disturbances and still maintain an upright posture. Balance is achieved by integral contro...
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper introduces a new challenge problem, designing robotic systems to recover after disassembly from high energy events. Implementation of a camera-based localization alg...
124
click to vote
ISBI
2007
IEEE
15 years 10 months ago
2007
IEEE
In limited data tomography, with applications such as electron microscopy, medical imaging, industrial non-destructive testing, etc., the scanning views are within an angular rang...
112
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...