875 search results - page 74 / 175 » On Reachability Under Uncertainty |
131
click to vote
IJCAI
2001
15 years 2 months ago
2001
Although a partially observable Markov decision process (POMDP) provides an appealing model for problems of planning under uncertainty, exact algorithms for POMDPs are intractable...
61
Voted
COLING
1994
15 years 2 months ago
1994
A technique of reasoning under uncertainty is studied in all attempt to solve disaml)igua,tion probh;nls of Cilinesc segnlcnliation. A knowlcdge-.I)a,sedinexact reasoning thcory i...
87
Voted
VLSID
2002
IEEE
16 years 1 months ago
2002
IEEE
| This paper reports the design of BIST structures for sequential machines. Testability of an FSM is limited due to the fact that some machine states remain unreachable and some ac...
111
Voted
GI
2007
Springer
15 years 7 months ago
2007
Springer
: In this article we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how funmethods of static an...
94
Voted
ACSD
2006
IEEE
15 years 6 months ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...