3116 search results - page 127 / 624 » Recovering |
ICIP
2007
IEEE
14 years 3 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...
IROS
2007
IEEE
14 years 3 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
14 years 3 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...
ISBI
2007
IEEE
14 years 3 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...
TPHOL
2007
IEEE
14 years 3 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...