328 search results - page 11 / 66 » Simple Termination Revisited |
IJON
2002
13 years 7 months ago
2002
Epileptic seizures are characterized by repetitive synchronous neuronal bursting activity. To study external influences on this activity, a simple model of a chain loop of neurona...
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
JSS
1998
13 years 7 months ago
1998
An important problem in the ®eld of distributed systems is that of detecting the termination of a distributed computation. Distributed termination detection (DTD) is a dicult p...
UIST
2004
ACM
14 years 29 days ago
2004
ACM
Powerful mobile devices with minimal I/O capabilities increase the likelihood that we will want to annex these devices to I/O resources we encounter in the local environment. This...
CIE
2008
Springer
13 years 9 months ago
2008
Springer
We revisit the deterministic graphical games of Washburn. A deterministic graphical game can be described as a simple stochastic game (a notion due to Anne Condon), except that we ...