13895 search results - page 9 / 2779 » Exploring |
109
click to vote
TSE
2008
15 years 1 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
119
click to vote
ICRA
2010
IEEE
14 years 12 months ago
2010
IEEE
— While there has been substantial progress for multi-robot exploration of an unknown area, little attention has been given to communication, especially bandwidth constraints in ...
DAC
2006
ACM
16 years 2 months ago
2006
ACM
KI
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...