591 search results - page 82 / 119 » Probabilistic Assumption-Based Reasoning |
CSFW
2006
IEEE
15 years 5 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
15 years 5 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
15 years 5 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...
104
click to vote
ISIPTA
2005
IEEE
15 years 5 months ago
2005
IEEE
Pose estimation involves reconstructing the configuration of a moving body from images sequences. In this paper we present a general framework for pose estimation of unknown obje...
112
click to vote
SAT
2005
Springer
15 years 5 months ago
2005
Springer
An important extension of satisfiability testing is model-counting, a task that corresponds to problems such as probabilistic reasoning and computing the permanent of a Boolean ma...