6020 search results - page 1017 / 1204 » A New Approach to Model Counting |
175
click to vote
IMR
2004
Springer
15 years 11 months ago
2004
Springer
A great challenge for flow simulators of new generation is to gain more accuracy at well proximity within complex geological structures. For this purpose, a new approach based on...
198
click to vote
ICEIS
2000
IEEE
15 years 10 months ago
2000
IEEE
We understand distributed systems as a collection of distributed computation resources that work together as one harmonious system. It is the great achievement of computer network...
215
click to vote
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
We present a new Monte Carlo method for solving the light transport problem, inspired by the Metropolis sampling method in computational physics. To render an image, we generate a...
163
click to vote
SIGMOD
1997
ACM
15 years 10 months ago
1997
ACM
: The read-mostly environment of data warehousing makes it possible to use more complex indexes to speed up queries than in situations where concurrent updatesare present. The curr...
180
click to vote
PET
2010
Springer
15 years 10 months ago
2010
Springer
In this work, we propose a new platform to enable service providers, such as web site operators, on the Internet to block past abusive users of anonymizing networks (for example, T...