50 search results - page 1 / 10 » Definable encodings in the computably enumerable sets |
BSL
2000
13 years 5 months ago
2000
CORR
2008
Springer
13 years 5 months ago
2008
Springer
The paper is organized as a self-contained literate Haskell program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmet...
BSL
2008
13 years 5 months ago
2008
The goal of this paper is to announce there is a single orbit of the c.e. sets with inclusion, E, such that the question of membership in this orbit is 1 1-complete. This result an...
GLOBECOM
2007
IEEE
13 years 11 months ago
2007
IEEE
— Protograph-based LDPC codes have the advantages of a simple design (or search) procedure and highly structured encoders and decoders. These advantages have also been exploited ...
CCS
2006
ACM
13 years 9 months ago
2006
ACM
Role engineering, the task of defining roles and associating permissions to them, is essential to realize the full benefits of the role-based access control paradigm. Essentially,...