3174 search results - page 50 / 635 » An Exploration of the Permanent-Determinant Method |
174
click to vote
IROS
2006
IEEE
16 years 9 days ago
2006
IEEE
— Robot search and rescue is a time critical task, i.e. a large terrain has to be explored by multiple robots within a short amount of time. The efficiency of exploration depend...
154
click to vote
AAAI
2008
15 years 8 months ago
2008
We present a novel method for information-theoretic exploration, leveraging recent work on mapping and localization. We describe exploration as the constrained optimization proble...
135
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
158
click to vote
RSFDGRC
2007
Springer
16 years 12 days ago
2007
Springer
Reading and literature exploration are important tasks of scientific research. However, conventional retrieval systems provide limited support for these tasks by concentrating on ...
169
click to vote
DAS
2008
Springer
15 years 8 months ago
2008
Springer
Automatic Term Recognition (ATR) is concerned with discovering terminology in large volumes of text corpora. Technical terms are vital elements for understanding the techniques us...