269 search results - page 29 / 54 » Computational soundness of observational equivalence |
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
IANDC
2008
13 years 8 months ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— Research on numerical solution methods for partially observable Markov decision processes (POMDPs) has primarily focused on discrete-state models, and these algorithms ...
APSCC
2007
IEEE
13 years 10 months ago
2007
IEEE
: This paper has proposed a shopping assistance service. We provide consumer-friendly services which based on personal behavior log data. The consumer-friendly services are informa...
ECCV
2002
Springer
14 years 10 months ago
2002
Springer
We propose to construct a 3D linear image basis which spans an image space of arbitrary illumination conditions, from images of a moving object observed under a static lighting con...