13895 search results - page 9 / 2779 » Exploration |
TSE
2008
14 years 11 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...
106
click to vote
ICRA
2010
IEEE
14 years 10 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 ...
172
Voted
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
DAC
2006
ACM
16 years 22 days ago
2006
ACM
83
Voted
KI
2007
Springer
15 years 5 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...