4962 search results - page 700 / 993 » Stochastic Model Checking |
106
Voted
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
101
Voted
ICPR
2008
IEEE
15 years 8 months ago
2008
IEEE
The problem of finding the most appropriate subset of features or regressors is the generic challenge of Machine Learning problems like regression estimation or pattern recognitio...
151
Voted
ISPW
2007
IEEE
15 years 8 months ago
2007
IEEE
The possible variability of project delay is useful information to understand and mitigate the project delay risk. However, it is not sufficiently considered in the literature con...
115
click to vote
COLT
2007
Springer
15 years 8 months ago
2007
Springer
In the standard model of observational learning, n agents sequentially decide between two alternatives a or b, one of which is objectively superior. Their choice is based on a stoc...
127
click to vote
COMPSAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...