1119 search results - page 120 / 224 » Single View Metrology |
187
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
166
click to vote
SIGOPSE
2000
ACM
15 years 10 months ago
2000
ACM
Ubiquitous computing promotes physical spaces with hundreds of specialized embedded devices that increase our productivity, alleviate some specific everyday tasks and provide new ...
169
click to vote
UIST
2000
ACM
15 years 10 months ago
2000
ACM
We introduce “fisheye menus” which apply traditional fisheye graphical visualization techniques to linear menus. This provides for an efficient mechanism to select items from ...
174
click to vote
MM
1999
ACM
15 years 10 months ago
1999
ACM
The Informedia Digital Video Library contains over 2000 hours of video, growing at a rate of 15 hours per week. A good query engine is not sufficient for information retrieval bec...
148
click to vote
IV
1998
IEEE
15 years 10 months ago
1998
IEEE
alization of large volumes of abstract information requires mechanisms to support the user by knowledge discovering. Therefore we developed the level of data Therein the abstract ...