747 search results - page 5 / 150 » An Alternative Representation for QBF |
INDOCRYPT
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. From several decades, non-adjacent form (NAF) representations for integers have been extensively studied as an alternative to the usual binary number system where digits ...
ICDM
2005
IEEE
15 years 3 months ago
2005
IEEE
The most suitable method for the automated classification of protein structures remains an open problem in computational biology. In order to classify a protein structure with an...
SCAM
2006
IEEE
15 years 3 months ago
2006
IEEE
Transformations of numerical source code may require the augmentation of the original variables with new data to represent additional data the transformed program operates on. Aut...
CIKM
2001
Springer
15 years 2 months ago
2001
Springer
KDD
2000
ACM
15 years 1 months ago
2000
ACM