437 search results - page 42 / 88 » Models and the locus of their truth |
AAAI
2008
13 years 10 months ago
2008
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
IJCAI
2007
13 years 9 months ago
2007
WiFi localization, the task of determining the physical location of a mobile device from wireless signal strengths, has been shown to be an accurate method of indoor and outdoor l...
ICIP
2007
IEEE
14 years 1 months ago
2007
IEEE
Realistic audio-visual mapping remains a very challenging problem. Having short time delay between inputs and outputs is also of great importance. In this paper, we present a new ...
3DPVT
2004
IEEE
13 years 11 months ago
2004
IEEE
We present a novel range sensing method that is capable of constructing accurate 3D models of specular objects. Our method utilizes a new range imaging concept called multi-peak r...
IJAIT
2006
13 years 7 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...