447 search results - page 35 / 90 » A Probabilistic Calculus of Actions |
FSTTCS
2006
Springer
14 years 12 days ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
CRV
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper, we develop a new tracking approach which is based on cooperation and coordination of multiple agents which are pan-tilt-zoom cameras to optimize the cost of trackin...
JAL
2008
13 years 8 months ago
2008
This paper develops connections between objective Bayesian epistemology--which holds that the strengths of an agent's beliefs should be representable by probabilities, should...
SEMWEB
2005
Springer
14 years 2 months ago
2005
Springer
Although Semantic Web service discovery has been extensively studied in the literature ([7], [12], [15] and [10]), we are far from achieving an effective, complete and automated di...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
Protocols for information-hiding often use randomized primitives to obfuscate the link between the observables and the information to be protected. The degree of protection provide...