4460 search results - page 766 / 892 » Formal methods for interactive systems |
187
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Improving image quality is the backbone of highly competitive display industry. Contemporary video processing system design is a challenging optimization problem. General...
160
Voted
HUC
2004
Springer
15 years 9 months ago
2004
Springer
Location estimation is an important part of many ubiquitous computing systems. Particle filters are simulation-based probabilistic approximations which the robotics community has ...
117
Voted
NPAR
2000
ACM
15 years 8 months ago
2000
ACM
We present a novel method for generating performance-driven, “hand-drawn” animation in real-time. Given an annotated set of hand-drawn faces for various expressions, our algor...
133
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
138
Voted
AVI
2008
15 years 6 months ago
2008
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...