11063 search results - page 118 / 2213 » On the existence of universal models |
FOCS
1999
IEEE
14 years 2 months ago
1999
IEEE
Naor and Yung show that a one-bit-compressing universal one-way hash function (UOWHF) can be constructed based on a one-way permutation. This construction can be iterated to build...
IEEEICCI
2006
IEEE
14 years 4 months ago
2006
IEEE
The original rough set model is concerned primarily with the approximation of sets described by single binary relation on universe. In the view of granular computing, classical ro...
WCCE
2001
13 years 11 months ago
2001
: The University of the United Arab Emirates (UAEU) commissioned an international panel of experts to devise a model curriculum for their new College of Information Technology. The...
TACAS
2010
Springer
13 years 8 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
AML
2008
13 years 10 months ago
2008
We compare realizability models over partial combinatory algebras by embedding them into sheaf toposes. We then use the machinery of Grothendieck toposes and geometric morphisms t...