2563 search results - page 426 / 513 » Phenomenology, Representations and Complexity |
103
click to vote
TVCG
2002
14 years 11 months ago
2002
Implicit surfaces are used for a number of tasks in computer graphics, including modeling soft or organic objects, morphing, collision detection, and constructive solid geometry. A...
MST
2007
14 years 11 months ago
2007
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Edalat–Potts in type theory. We choose the constructive type theory extended with coind...
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— We demonstrate five-degree-of-freedom (5-DOF) wireless magnetic control of a fully untethered microrobot (3DOF position, 2-DOF pointing orientation). The microrobot can move t...
103
click to vote
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
Service robots will have to accomplish more and more complex, open-ended tasks and regularly acquire new skills. In this work, we propose a new approach to generating plans for su...
IJAR
2010
14 years 10 months ago
2010
Credal nets generalize Bayesian nets by relaxing the requirement of precision of probabilities. Credal nets are considerably more expressive than Bayesian nets, but this makes bel...