1418 search results - page 157 / 284 » How to Explain Mistakes |
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
Abstract— In this paper we describe the use of automatic exploration for autonomous mapping of outdoor scenes. We describe a real-time SLAM implementation along with an autonomou...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, we provide a principled and unified explanation how knowledge in global 3-D structural invariants, typically captured by a group action on a symmetric structure, ca...
ECSQARU
2003
Springer
14 years 3 months ago
2003
Springer
In previous papers, we have presented a logic-based framework for merging structured news reports [14, 16, 15]. Structured news reports are XML documents, where the text entries ar...
SACMAT
2010
ACM
14 years 2 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
KR
2010
Springer
14 years 2 months ago
2010
Springer
The aim of semantic science is to allow for the publications of ontologies, observation data, and hypotheses/theories. Hypotheses make predictions on data and on new cases. Those ...