Sciweavers

9 search results - page 1 / 2
» eatcs 2002
Sort
View
EATCS
2002
58views more  EATCS 2002»
13 years 4 months ago
An Introduction to Probabilistic Automata
Mariëlle Stoelinga
EATCS
2002
67views more  EATCS 2002»
13 years 4 months ago
Artificial Chemistries
Pietro Speroni di Fenizio
EATCS
2002
141views more  EATCS 2002»
13 years 4 months ago
Recent Developments in Explicit Constructions of Extractors
Extractors are functions which are able to "extract" random bits from arbitrary distributions which "contain" sufficient randomness. Explicit constructions of ...
Ronen Shaltiel
EATCS
2002
60views more  EATCS 2002»
13 years 4 months ago
Roadmap of Infinite Results
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...
Jirí Srba