2610 search results - page 168 / 522 » Computational Probabilistic Non-interference |
119
click to vote
FMCO
2005
Springer
15 years 8 months ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
127
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
ProbLog is a probabilistic framework that extends Prolog with probabilistic facts. To compute the probability of a query, the complete SLD proof tree of the query is collected as a...
125
click to vote
RAS
2006
15 years 2 months ago
2006
The probabilistic roadmap approach is one of the leading motion planning techniques. Over the past decade the technique has been studied by many different researchers. This has le...
108
Voted
TSE
2010
15 years 27 days ago
2010
This paper presents an innovative model of a program’s internal behavior over a set of test inputs, called the probabilistic program dependence graph (PPDG), that facilitates pr...
101
Voted
MICCAI
2005
Springer
16 years 3 months ago
2005
Springer
Statistical shape analysis has become of increasing interest to the neuroimaging community due to its potential to locate morphological changes. In this paper, we present the a nov...