2747 search results - page 45 / 550 » Non-oblivious Strategy Improvement |
105
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions specified as Ra...
AAAI
1994
15 years 1 months ago
1994
It has recently been shown that local search is surprisingly good at nding satisfying assignments for certain computationally hard classes of CNF formulas. The performance of basi...
SOPR
2008
14 years 11 months ago
2008
: Processes usually are defined according to underlying standards (ISO 15504, ESA ECSS, ISO 9001, ...) and are described with process steps to be performed by roles and producing r...
TSE
1998
14 years 11 months ago
1998
—There are many standards which are relevant for building safety or mission critical software systems. An effective standard is one that should help developers, assessors, and us...
DAC
2009
ACM
16 years 26 days ago
2009
ACM
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...