488 search results - page 81 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
128
click to vote
TREC
2004
15 years 3 months ago
2004
The quality of an information retrieval system heavily depends on its retrieval function, which returns a similarity measurement between the query and each document in the collect...
114
click to vote
BLISS
2008
IEEE
15 years 8 months ago
2008
IEEE
Constructing the face of a criminal from the selection of individual facial parts is a hard task. We have been working on a new system called EvoFIT that involves the selection an...
123
click to vote
ISSRE
2007
IEEE
15 years 3 months ago
2007
IEEE
This paper describes a study performed in an industrial setting that attempts to build predictive models to identify parts of a Java system with a high probability of fault. The s...
132
click to vote
SAT
2005
Springer
15 years 7 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...
120
click to vote
ESSMAC
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Gaussian process models provide a probabilistic non-parametric modelling approach for black-box identification of nonlinear dynamic systems. The Gaussian processes can h...