193 search results - page 15 / 39 » On the Automatic Construction of Indistinguishable Operation... |
ICCSA
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. A progressive curve representation based on reverse subdivision is introduced. This consists of three main components. First, multi-resolution structures for some common ...
LICS
1989
IEEE
13 years 11 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
To adequately deal with the unpredictable and dynamic environments normative frameworks are typically deployed in, mechanisms for modifying the norms at runtime are crucial. We pr...
ICCV
1998
IEEE
14 years 9 months ago
1998
IEEE
This paper presents a new class of interactive image editing operations designed to maintain consistency between multiple images of a physical 3D scene. The distinguishing feature...
IROS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper explores autonomous locomotion, reaching, grasping and manipulation for the domain of Navigation Among Movable Obstacles (NAMO). The robot perceives and cons...