2610 search results - page 7 / 522 » Computational Probabilistic Non-interference |
AAMAS
2011
Springer
12 years 11 months ago
2011
Springer
This paper introduces the execution model of a declarative programming language intended for agent applications. Features supported by the language include functional and logic pro...
CONCUR
2001
Springer
14 years 1 days ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
DSL
2009
13 years 5 months ago
2009
We propose a new focus in language design where languages provide constructs that not only describe the computation of results, but also produce explanations of how and why those r...
ACCV
2010
Springer
13 years 2 months ago
2010
Springer
We present a 3D, probabilistic object-surface model, along with mechanisms for probabilistically integrating unregistered 2.5D views into the model, and for segmenting model instan...
FTCGV
2011
12 years 11 months ago
2011
Powerful statistical models that can be learned efficiently from large amounts of data are currently revolutionizing computer vision. These models possess a rich internal structur...