6020 search results - page 1143 / 1204 » A New Approach to Model Counting |
149
click to vote
SIGUCCS
2003
ACM
15 years 9 months ago
2003
ACM
It has been our effort at Ringling school to provide our campus community with the capability to uniformly access resources across multiple platforms. Empowering the user with a s...
128
click to vote
SIGGRAPH
1993
ACM
15 years 8 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...
158
click to vote
SIGGRAPH
1992
ACM
15 years 8 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...
149
click to vote
AFRIGRAPH
2009
ACM
15 years 8 months ago
2009
ACM
The generation of accurate Line of Sight (LOS) visibility information consumes significant resources in large scale synthetic environments such as many-on-many serious games and b...
142
click to vote
CRYPTO
2006
Springer
15 years 8 months ago
2006
Springer
We address the issue of encrypting data in local storage using a key that is derived from the user's password. The typical solution in use today is to derive the key from the...