Sciweavers

13383 search results - page 64 / 2677
» Abstractions from proofs
Sort
View
BCSHCI
2009
15 years 6 months ago
Using augmentations as bridges from concrete to abstract representations
Guillaume Zufferey, Patrick Jermann, Son Do-Lenh, ...
AROBOTS
2006
94views more  AROBOTS 2006»
15 years 5 months ago
Abstracting Vehicle Shape and Kinematic Constraints from Obstacle Avoidance Methods
Javier Minguez, Luis Montano, José Santos-V...