138 search results - page 17 / 28 » A Study on the Cross-Entropy Method for Rare-Event Probabili... |
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
As the number of non-English documents is increasing dramatically on the web nowadays, the study and design of information retrieval systems for these languages is very important....
ICFEM
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
ISBI
2007
IEEE
14 years 1 months ago
2007
IEEE
Efficient, automatic and robust tools for measurement of cerebral cortical thickness would aid diagnosis and longitudinal studies of neurodegenerative disorders. In this work, we...
GECCO
2003
Springer
14 years 17 days ago
2003
Springer
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled...
ENTCS
2010
13 years 7 months ago
2010
Software failures can lead to substantial costs for the user. Existing models for software reliability prediction do not provide much insight into this financial impact. Our appro...