4099 search results - page 610 / 820 » A Framework for Interactive Proof |
136
Voted
AI
2000
Springer
15 years 4 months ago
2000
Springer
Automated handling of tutoring and training functions in educational systems requires the availability of articulate domain models. In this article we further develop the applicat...
145
click to vote
INFSOF
2000
15 years 4 months ago
2000
The development of groupware is a complex endeavor due to several inherent features not present in single-user applications. To address this complexity many authors have presented...
131
click to vote
JOLLI
2002
15 years 4 months ago
2002
Dynamic Predicate Logic (DPL) is a variant of Predicate Logic introduced by Groenendijk en Stokhof. One rationale behind the indroduction of DPL is that it is closer to Natural La...
134
click to vote
SPEECH
1998
15 years 4 months ago
1998
Tracking human lips in video is an important but notoriously dicult task. To accurately recover their motions in 3D from any head pose is an even more challenging task, though s...
162
click to vote
TOG
2002
15 years 4 months ago
2002
This paper describes a new framework for video matting, the process of pulling a high-quality alpha matte and foreground from a video sequence. The framework builds upon technique...