9284 search results - page 332 / 1857 » Knowledge State Algorithms |
173
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
Different logic synthesis tasks have been formulated as input encoding problems but restricted to use a minimum number of binary variables. This paper presents an original column ...
201
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
191
click to vote
FOCS
1991
IEEE
15 years 10 months ago
1991
IEEE
The Lov´asz Local Lemma is a tool that enables one to show that certain events hold with positive, though very small probability. It often yields existence proofs of results with...
203
click to vote
AAAI
2006
15 years 8 months ago
2006
We present tractable, exact algorithms for learning actions' effects and preconditions in partially observable domains. Our algorithms maintain a propositional logical repres...
188
click to vote
UAI
2003
15 years 8 months ago
2003
Precision achieved by stochastic sampling algorithms for Bayesian networks typically deteriorates in face of extremely unlikely evidence. To address this problem, we propose the E...