4099 search results - page 519 / 820 » A Framework for Interactive Proof |
162
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
The design of Interactive TV services is in an experimental phase. The design of these services needs a more structured approach that enables the actors involved to cooperate and ...
173
click to vote
CIVR
2006
Springer
15 years 10 months ago
2006
Springer
Aspect-based relevance learning is a relevance feedback scheme based on a natural model of relevance in terms of image aspects. In this paper we propose a number of active learning...
193
click to vote
FASE
2000
Springer
15 years 10 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
150
click to vote
MOVEP
2000
15 years 10 months ago
2000
We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...
160
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
Computer sensing of hand and limb motion is an important problem for applications in humancomputer interaction and computer graphics. We describe a framework for local tracking of...