6020 search results - page 592 / 1204 » A New Approach to Model Counting |
198
click to vote
GVD
2009
15 years 5 months ago
2009
The upcoming generation of computer hardware poses several new challenges for database developers and engineers. Software in general and database management systems (DBMSs) in par...
170
click to vote
EUROCRYPT
2009
Springer
16 years 7 months ago
2009
Springer
Currently, there are relatively few instances of "hash-and-sign" signatures in the standard model. Moreover, most current instances rely on strong and less studied assum...
190
click to vote
PPSN
1992
Springer
15 years 11 months ago
1992
Springer
This paper introduces a new optimization technique called hyperplane annealing. It is similar to the mean field annealing approach to combinatorial optimization. Both annealing te...
204
click to vote
AUSFORENSICS
2004
15 years 8 months ago
2004
In cases involving computer related crime, event oriented evidence such as computer event logs, and telephone call records are coming under increased scrutiny. The amount of techn...
177
click to vote
PR
2000
15 years 7 months ago
2000
This paper presents an automatic method, based on the deformable template approach, for cell image segmentation under severe noise conditions. We de"ne a new methodology, div...