624 search results - page 120 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
AIPS
2009
13 years 9 months ago
2009
When modeling real-world decision-theoretic planning problems in the Markov decision process (MDP) framework, it is often impossible to obtain a completely accurate estimate of tr...
BMCBI
2006
13 years 8 months ago
2006
Background: Recent progress in cDNA and EST sequencing is yielding a deluge of sequence data. Like database search results and proteome databases, this data gives rise to inferred...
ICIP
2010
IEEE
13 years 6 months ago
2010
IEEE
The ability of Compressive Sensing (CS) to recover sparse signals from limited measurements has been recently exploited in computational imaging to acquire high-speed periodic and...
FAST
2009
13 years 6 months ago
2009
Provenance describes how an object came to be in its present state. Thus, it describes the evolution of the object over time. Prior work on provenance has focussed on databases an...
ICCAD
2009
IEEE
13 years 6 months ago
2009
IEEE
A parallel computing approach for large-scale SPICE-accurate circuit simulation is described that is based on a new preconditioned iterative solver. The preconditioner involves the...