835 search results - page 129 / 167 » Nonmonotonic Reasoning in Probabilistics |
ECSQARU
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...
TARK
2007
Springer
14 years 3 months ago
2007
Springer
We define a generalized state-space model with interactive unawareness and probabilistic beliefs. Such models are desirable for many potential applications of asymmetric unawaren...
CSFW
2006
IEEE
14 years 3 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
IJCNN
2006
IEEE
14 years 3 months ago
2006
IEEE
—Recognizing human emotions from partial facial features is quite hard to achieve reasonable accuracy. In this paper, we propose to use a tree structure representation to simulat...
ACIVS
2006
Springer
14 years 3 months ago
2006
Springer
Content analysis of video and still images is attractive for multiple reasons, such as enabling content-based actions and image manipulation. This paper presents a new algorithm an...