2850 search results - page 405 / 570 » On Timed Models and Full Abstraction |
185
click to vote
EUROCRYPT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
164
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
209
click to vote
NEUROSCIENCE
2001
Springer
15 years 11 months ago
2001
Springer
Biological networks are capable of gradual learning based on observing a large number of exemplars over time as well as of rapidly memorizing specific events as a result of a sin...
158
click to vote
ADMA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Most of the work in Machine Learning assume that examples are generated at random according to some stationary probability distribution. In this work we study the problem...
228
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose a hierarchical process for inferring the 3D pose of a person from monocular images. First we infer a learned view-based 2D body model from a single image using...