92 search results - page 10 / 19 » Probabilistic Proof Systems - A Survey |
146
click to vote
IPM
2007
15 years 3 months ago
2007
A recommender system has an obvious appeal in an environment where the amount of on-line information vastly outstrips any individual’s capability to survey. Music recommendation...
118
click to vote
SP
1990
IEEE
15 years 8 months ago
1990
IEEE
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
120
click to vote
ISVD
2007
IEEE
15 years 10 months ago
2007
IEEE
A very fundamental geometric problem on finite systems of spheres was independently phrased by Kneser (1955) and Poulsen (1954). According to their well-known conjecture if a fi...
127
click to vote
CALCO
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
141
click to vote
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...