7988 search results - page 1096 / 1598 » A Useful Undecidable Theory |
173
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
People are able to determine whether or not a given document is interesting just by glancing through it. However, when asked to make explicit the rules upon which such a decision ...
138
click to vote
CHI
2000
ACM
15 years 11 months ago
2000
ACM
We present experimental work that explores the factors governing symmetric bimanual interaction in a two-handed task that requires the user to track a pair of targets, one target ...
198
click to vote
PODS
2000
ACM
15 years 11 months ago
2000
ACM
An estimation algorithm for a query is a probabilistic algorithm that computes an approximation for the size (number of tuples) of the query. One class of estimation algorithms us...
161
Voted
ATAL
2000
Springer
15 years 11 months ago
2000
Springer
Agents often have preference models that are more complicated than minimizing the expected execution cost. In this paper, we study how they should act in the presence of uncertaint...
179
Voted
SIGGRAPH
1999
ACM
15 years 11 months ago
1999
ACM
The reflection of light from surfaces is a fundamental problem in computer graphics. Although many reflection models have been proposed, few take into account the wave nature of...