925 search results - page 131 / 185 » Probabilistic and Logical Beliefs |
SLOGICA
2008
13 years 8 months ago
2008
In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis ...
ATVA
2006
Springer
13 years 12 months ago
2006
Springer
In synthesis we construct finite state systems from temporal specifications. While this problem is well understood in the classical setting of non-probabilistic synthesis, this pap...
DAC
2004
ACM
13 years 12 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
ICCV
2007
IEEE
13 years 10 months ago
2007
IEEE
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...
ECSQARU
2007
Springer
14 years 2 months ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...