1801 search results - page 227 / 361 » Pointing without a pointer |
CC
2001
Springer
15 years 1 months ago
2001
Springer
Compilers can exploit knowledge that a variable has a fixed known value at a program point for optimizations such as code specialization and constant folding. Recent work has shown...
KR
2000
Springer
15 years 1 months ago
2000
Springer
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
CAIP
1995
Springer
15 years 1 months ago
1995
Springer
This paper addresses the problem of 3D surface reconstruction using image sequences. It has been shown that shape recovery from three or more occluding contours of the surface is p...
EUROCRYPT
1997
Springer
15 years 1 months ago
1997
Springer
In this paper we present a new multi-authority secret-ballot election scheme that guarantees privacy, universal verifiability, and robustness. It is the first scheme for which the ...
114
click to vote
CHI
1995
ACM
15 years 1 months ago
1995
ACM
This paper explores a user interface technique which augments an immersive head tracked display with a hand-held miniature copy of the virtual environment. We call this interface ...