247 search results - page 12 / 50 » Perspectives in Probabilistic Verification |
ETFA
2006
IEEE
14 years 3 months ago
2006
IEEE
Multiplysectioned Bayesian networks provide a probabilistic framework for reasoning about uncertain domains in cooperative multiagent systems. Several advances have been made in r...
AIPS
2000
13 years 11 months ago
2000
The paper takes a fresh look at algorithms for maximizing expected utility over a set of policies, that is, a set of possible ways of reacting to observations about an uncertain s...
CVPR
2008
IEEE
14 years 11 months ago
2008
IEEE
For a large class of applications, there is time to train the system. In this paper, we propose a learning-based approach to patch perspective rectification, and show that it is b...
VRST
2006
ACM
14 years 3 months ago
2006
ACM
Instead of the reality in which you can see your own limbs, in virtual reality simulations it is sometimes disturbing not to be able to see your own body. It seems to create an is...
FASE
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. The notion of feature is heavily used in Software Engineering, especially for software product lines. However, this notion appears to be confusing, mixing various aspects...