9 search results - page 1 / 2 » eatcs 2002 |
68
Voted
EATCS
2002
15 years 27 days ago
2002
67
Voted
EATCS
2002
15 years 27 days ago
2002
77
Voted
EATCS
2002
15 years 27 days ago
2002
105
Voted
EATCS
2002
15 years 27 days ago
2002
Extractors are functions which are able to "extract" random bits from arbitrary distributions which "contain" sufficient randomness. Explicit constructions of ...
71
Voted
EATCS
2002
15 years 27 days ago
2002
Abstract. This paper provides a comprehensive summary of equivalence checking results for infinite-state systems. References to the relevant papers will be updated continuously acc...