2005 search results - page 163 / 401 » Decisive Markov Chains |
157
click to vote
ICCV
2011
IEEE
14 years 1 months ago
2011
IEEE
We propose a novel way to induce a random field from an energy function on discrete labels. It amounts to locally injecting noise to the energy potentials, followed by finding t...
AAAI
2010
15 years 3 months ago
2010
Automatically constructing novel representations of tasks from analysis of state spaces is a longstanding fundamental challenge in AI. I review recent progress on this problem for...
100
click to vote
NIPS
2000
15 years 3 months ago
2000
We propose a method of approximate dynamic programming for Markov decision processes (MDPs) using algebraic decision diagrams (ADDs). We produce near-optimal value functions and p...
208
click to vote
CONCUR
2011
Springer
14 years 1 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
127
click to vote
GIL
2011
14 years 1 months ago
2011
Abstract: Several global developments such as the growing demand for bioenergy, limits in the availability of water and diminishing production resources as well as sector-wide cris...