8486 search results - page 200 / 1698 » Ordered Enumeration Method |
104
click to vote
AAAI
1998
15 years 2 months ago
1998
We present a technique for computing approximately optimal solutions to stochastic resource allocation problems modeled as Markov decision processes (MDPs). We exploit two key pro...
93
Voted
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
98
Voted
DAC
2010
ACM
15 years 1 months ago
2010
ACM
Vectorless power grid verification makes it possible to evaluate worst-case voltage drops without enumerating possible current waveforms. Under linear current constraints, the vec...
74
Voted
FMSD
2006
15 years 19 days ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
112
click to vote
ENVSOFT
2007
15 years 18 days ago
2007
Groundwater long-term monitoring (LTM) is required to assess the performance of groundwater remediation and human being health risk at post-closure sites where groundwater contami...