11097 search results - page 164 / 2220 » Hera presentation generator |
155
click to vote
DAGM
2003
Springer
15 years 11 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...
168
click to vote
FM
2003
Springer
15 years 11 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...
147
click to vote
PG
2002
IEEE
15 years 10 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...
141
click to vote
CRYPTO
2001
Springer
15 years 10 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...
146
click to vote
OHS
2001
Springer
15 years 10 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...