563 search results - page 37 / 113 » An Observational Model for Spatial Logics |
VTC
2010
IEEE
14 years 8 months ago
2010
IEEE
- Compared to classical spatial MIMO wireless systems, cross-polarized MIMO systems are an interesting way to reduce equipment size while reducing the inter-antenna correlation. Cr...
IJCV
2006
14 years 9 months ago
2006
In this research we address the problem of classification and labeling of regions given a single static natural image. Natural images exhibit strong spatial dependencies, and mode...
TARK
1998
Springer
15 years 2 months ago
1998
Springer
If one has attributed certain initial beliefs to an agent, it is sometimes possible to reason about further beliefs the agent must hold by observing what conclusions one's ow...
CLIMA
2010
14 years 11 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...
IJCAI
2003
14 years 11 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...