11097 search results - page 164 / 2220 » Hera presentation generator |
83
Voted
DAGM
2003
Springer
15 years 3 months ago
2003
Springer
We address the question of how to choose between different likelihood functions for motion estimation. To this end, we formulate motion estimation as a problem of Bayesian inferen...
94
Voted
FM
2003
Springer
15 years 3 months ago
2003
Springer
Counterexamples explain why a desired temporal logic property fails to hold, and as such are considered to be the most useful form of output from model-checkers. Multi-valued model...
PG
2002
IEEE
15 years 3 months ago
2002
IEEE
In this paper, we present a system that automatically generates caricatures from input face images. From example caricatures drawn by an artist, our caricature system learns how a...
73
Voted
CRYPTO
2001
Springer
15 years 2 months ago
2001
Springer
We present session-key generation protocols in a model where the legitimate parties share only a human-memorizable password. The security guarantee holds with respect to probabilis...
OHS
2001
Springer
15 years 2 months ago
2001
Springer
This paper presents two empirical usability studies based on techniques from Human-Computer Interaction HCI and software engineering, which were used to elicitate requirements fo...