10568 search results - page 632 / 2114 » Computer Intelligence and Formalization |
200
click to vote
AROBOTS
2006
15 years 7 months ago
2006
This paper aims at a discussion of the structure of the SLAM problem. The analysis is not strictly formal but based both on informal studies and mathematical derivation. The first ...
177
click to vote
IJIS
2007
15 years 7 months ago
2007
Deliberation dialogues occur when two or more participants seek to jointly agree an action or a course of action in some situation. We present the first formal framework for such...
194
click to vote
GEOINFORMATICA
2002
15 years 6 months ago
2002
This paper deals with the representation and the processing of information about spatial objects with indeterminate location like valleys or dunes (objects subject to vagueness). ...
199
click to vote
IJPP
2010
15 years 5 months ago
2010
In this paper, we define the problem of spatial mapping. We present reasons why performing spatial mappings at run-time is both necessary and desirable. We propose what is—to ou...
187
click to vote
IFM
2010
Springer
15 years 5 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...