6020 search results - page 101 / 1204 » A New Approach to Model Counting |
143
click to vote
DICTA
2003
15 years 5 months ago
2003
In this paper, we present a new approach for hand-written character and digit recognitions based on shape descriptor and the Hausdorff Context. We start at finding the correspondi...
128
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Resource virtualization is currently being employed at all levels of the IT infrastructure to improve provisioning and manageability, with the goal of reducing total cost of owner...
127
click to vote
WSC
1996
15 years 5 months ago
1996
The area of integrating simulation and optimization has recently undergone remarkable changes. New advances are making available applications of simulation that previously had bee...
129
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Protocols for password-based authenticated key exchange (PAKE) allow two users who share only a short, low-entropy password to agree on a cryptographically strong session key. The...
146
click to vote
BIRTHDAY
2012
Springer
13 years 11 months ago
2012
Springer
3-D integration presents many new opportunities for architects and embedded systems designers. However, 3-D integration has not yet been explored by the cryptographic hardware com...