2286 search results - page 284 / 458 » Algorithms for Categorical Equivalence |
162
click to vote
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce VSH, very smooth hash, a new S-bit hash function that is provably collision-resistant assuming the hardness of finding nontrivial modular square roots of ver...
188
click to vote
ARITH
2001
IEEE
15 years 10 months ago
2001
IEEE
A recently introduced double-base number representation has proved to be successful in optimizing the performance of several algorithms in cryptography and digital signal processi...
166
click to vote
AAAI
2008
15 years 9 months ago
2008
Changing preferences is very common in real life. The expressive power of the operations of preference change introduced so far in the literature is limited to adding new informat...
175
click to vote
DLOG
2007
15 years 9 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
175
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Handling exceptions represents one of the most important problems in Artificial Intelligence. Several approaches have been proposed for reasoning on default theories. This paper f...