4192 search results - page 808 / 839 » Probabilistic Logic Programming |
141
click to vote
IFM
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
108
click to vote
IPL
2010
15 years 26 days ago
2010
In numerous modern stream ciphers, the internal state consists of a large array of pseudo-random words, and the output key-stream is a relatively simple function of the state. In ...
119
click to vote
PAMI
2010
15 years 25 days ago
2010
In this paper, we address the tasks of detecting, segmenting, parsing, and matching deformable objects. We use a novel probabilistic object model that we call a hierarchical defor...
122
Voted
ICDM
2010
IEEE
15 years 12 days ago
2010
IEEE
Citizen scientists, who are volunteers from the community that participate as field assistants in scientific studies [3], enable research to be performed at much larger spatial and...
169
Voted
BMCBI
2011
14 years 9 months ago
2011
Background: The combination of genotypic and genome-wide expression data arising from segregating populations offers an unprecedented opportunity to model and dissect complex phen...