13895 search results - page 9 / 2779 » Exploring |
TSE
2008
13 years 7 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...
ICRA
2010
IEEE
13 years 6 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 ...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
DAC
2006
ACM
14 years 8 months ago
2006
ACM
KI
2007
Springer
14 years 1 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...