295 search results - page 30 / 59 » Reasoning about Cardinal Directions |
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
85
Voted
RSFDGRC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
84
Voted
ECCV
2010
Springer
15 years 2 months ago
2010
Springer
Photometric stereo relies on inverting the image formation process, and doing this accurately requires reasoning about the visibility of light sources with respect to each image po...
77
Voted
LCPC
1999
Springer
15 years 1 months ago
1999
Springer
Wavefront computations, characterized by a data dependent flow of computation across a data space, are receiving increasing attention as an important class of parallel computation...
FAABS
2000
Springer
15 years 1 months ago
2000
Springer
Much work in the field of agent-based systems has tended to focus on either the development of practical applications of agent systems on the one hand, or the development of sophis...