1306 search results - page 166 / 262 » A Diagrammatic Approach to Model Completion |
106
click to vote
CGF
1999
15 years 20 days ago
1999
This paper describes the successful combination of pre-generated and dynamically updated image-based representations to accelerate the visualization of complex virtual environment...
117
Voted
RAS
2008
15 years 14 days ago
2008
We present an approach for creating conceptual representations of human-made indoor environments using mobile robots. The concepts refer to spatial and functional properties of ty...
101
click to vote
BMVC
2010
14 years 11 months ago
2010
We present a novel method to detect curves with unknown endpoints using minimal path techniques. Our work builds on the state of the art minimal path techniques currently used to ...
148
Voted
ICDT
2009
ACM
14 years 10 months ago
2009
ACM
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...