488 search results - page 81 / 98 » Compositional Verification of Probabilistic Systems Using Le... |
TREC
2004
15 years 13 days 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...
83
Voted
BLISS
2008
IEEE
15 years 5 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...
ISSRE
2007
IEEE
15 years 18 days 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...
106
click to vote
SAT
2005
Springer
15 years 4 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...
ESSMAC
2003
Springer
15 years 4 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...