912 search results - page 25 / 183 » Abstract Saturation-Based Inference |
EWSN
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. A localization algorithm using radio interferometric measurements is presented. A probabilistic model is constructed that accounts for general noise models and lends itse...
CAV
2008
Springer
13 years 11 months ago
2008
Springer
This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
DLOG
1997
13 years 11 months ago
1997
Abstract: This paper presents a theoretical basis for terminological reasoning about objects and their qualitative spatial relationships. In contrast to existing work, which mainly...
EXPERT
2008
13 years 9 months ago
2008
Abstract. The majority of humans today carry mobile telephones. These phones automatically capture behavioral data from virtually every human society, stored in service provider da...
AI
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Dynamic Bayesian networks (DBNs) extend Bayesian networks from static domains to dynamic domains. The only known generic method for exact inference in DBNs is based on dy...