5634 search results - page 356 / 1127 » About Abstract Classes |
171
click to vote
ISOOMS
1994
15 years 10 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
160
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
Recommender Systems belong to a class of systems intended to assist individuals make evaluations about entities in meaningful ways. In this paper we discuss the issues in the desi...
136
click to vote
RTA
2010
Springer
15 years 10 months ago
2010
Springer
We revisit (un)soundness of transformations of conditional into unconditional rewrite systems. The focus here is on so-called unravelings, the most simple and natural kind of such ...
203
click to vote
ACL2
2006
ACM
15 years 10 months ago
2006
ACM
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
146
click to vote
FSE
2006
Springer
15 years 10 months ago
2006
Springer
Self-Synchronizing Stream Ciphers (SSSC) are a particular class of symmetric encryption algorithms, such that the resynchronization is automatic, in case of error during the transm...