5754 search results - page 1109 / 1151 » Multi-class Model M |
174
Voted
PODC
1994
ACM
15 years 7 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
122
Voted
SIGGRAPH
1993
ACM
15 years 7 months ago
1993
ACM
We present an efficient and robust algorithm for finding points of collision between time-dependent parametric and implicit surfaces. The algorithm detects simultaneous collisio...
129
click to vote
SIGMOD
1993
ACM
15 years 7 months ago
1993
ACM
The traditional focus of relational query optimization schemes has been on the choice of join methods and join orders. Restrictions have typically been handled in query optimizers ...
186
Voted
SPAA
1993
ACM
15 years 7 months ago
1993
ACM
d Abstract) Thomas H. Cormen Leonard F. Wisniewski Department of Mathematics and Computer Science Dartmouth College We give asymptotically equal lower and upper bounds for the num...
153
click to vote
SIGGRAPH
1992
ACM
15 years 7 months ago
1992
ACM
This paper discusses how interval analysis can be used to solve a wide variety of problems in computer graphics. These problems include ray tracing, interference detection, polygo...