520 search results - page 32 / 104 » Implementing a Generalized Version of Resolution |
106
click to vote
IUSED
2008
14 years 11 months ago
2008
One trend in software development is to implement application functionalities through Web services. This eases the possibility of developing interactive applications exploiting fu...
ICFP
2006
ACM
15 years 10 months ago
2006
ACM
Chez Scheme is now over 20 years old, the first version having been released in 1985. This paper takes a brief look back on the history of Chez Scheme's development to explor...
INDOCRYPT
2009
Springer
15 years 4 months ago
2009
Springer
This paper applies generalized birthday attacks to the FSB compression function, and shows how to adapt the attacks so that they run in far less memory. In particular, this paper p...
NMR
2004
Springer
15 years 3 months ago
2004
Springer
Unlike most non-monotonic logics Plausible Logic was designed from the very beginning with computer implementation in mind. But one aspect of implementation was neglected, namely ...
GLVLSI
2003
IEEE
15 years 3 months ago
2003
IEEE
In this paper, we present a novel hybrid multiplier architecture that has the regularity of linear array multipliers and the performance of tree multipliers and is highly scalable...