923 search results - page 126 / 185 » Proving the value of formal methods |
199
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
The most popular way to use probabilistic models in vision is first to extract some descriptors of small image patches or object parts using well-engineered features, and then to...
179
click to vote
JMLR
2010
2010
Predicting the functions of proteins in Protein-Protein Interaction networks from global information
15 years 1 months ago
In this work we present a novel approach to predict the function of proteins in protein-protein interaction (PPI) networks. We classify existing approaches into inductive and tran...
151
click to vote
AAAI
1997
15 years 7 months ago
1997
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
155
click to vote
BNCOD
1997
15 years 7 months ago
1997
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
157
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
A Markov Decision Process (MDP) is a general model for solving planning problems under uncertainty. It has been extended to multiobjective MDP to address multicriteria or multiagen...