Sciweavers

1701 search results - page 10 / 341
» Computer Science and State Machines
Sort
View
COMPLEX
2009
Springer
15 years 1 months ago
Non-sufficient Memories That Are Sufficient for Prediction
The causal states of computational mechanics define the minimal sufficient (prescient) memory for a given stationary stochastic process. They induce the -machine which is a hidden...
Wolfgang Löhr, Nihat Ay
ASM
2000
ASM
15 years 2 months ago
Investigating Java Concurrency Using Abstract State Machines
Yuri Gurevich, Wolfram Schulte, Charles Wallace