Sciweavers

13383 search results - page 64 / 2677
» Abstractions from proofs
Sort
View
BCSHCI
2009
14 years 11 months ago
Using augmentations as bridges from concrete to abstract representations
Guillaume Zufferey, Patrick Jermann, Son Do-Lenh, ...
BMCBI
2010
69views more  BMCBI 2010»
14 years 10 months ago
Extracting the abstraction pyramid from complex networks
Chia-Ying Cheng, Yuh-Jyh Hu
AROBOTS
2006
94views more  AROBOTS 2006»
14 years 9 months ago
Abstracting Vehicle Shape and Kinematic Constraints from Obstacle Avoidance Methods
Javier Minguez, Luis Montano, José Santos-V...