1011 search results - page 20 / 203 » The three dimensions of proofs |
CONTEXT
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. In this paper we propose to re-read the past work on formalizing context as the search for a logic of the relationships between partial, approximate, and perspectival the...
102
click to vote
ENTCS
2008
14 years 9 months ago
2008
This paper initiates the study of sets in Euclidean space Rn (n 2) that are defined in terms of the dimensions of their elements. Specifically, given an interval I [0, 1], we ar...
JUCS
2010
14 years 8 months ago
2010
Abstract: This paper discusses three rectilinear (that is, axis-parallel) covering problems in d dimensions and their variants. The first problem is the Rectilinear Line Cover whe...
ICRA
2006
IEEE
15 years 3 months ago
2006
IEEE
Abstract— This paper describes the application of a RaoBlackwellized Particle Filter to the problem of simultaneous localization and mapping onboard a hovering autonomous underwa...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
— In the robotic-assisted off-pump Coronary Artery Bypass Graft (CABG) surgery, surgeon performs the operation with intelligent robotic instruments controlled through teleoperati...