11716 search results - page 326 / 2344 » Computable symbolic dynamics |
148
click to vote
FOSSACS
2004
Springer
16 years 3 days ago
2004
Springer
We introduce a computational interpretation for Hilbert’s choice operator (ε). This interpretation yields a typed foundation for dynamic linking in software systems. The use of ...
184
click to vote
BCS
2008
15 years 8 months ago
2008
We propose a defi nition of Cellular Automaton in which links between cells can change during the computation. This is done locally by each cell, which can reach the neighbours of...
97
Voted
CHI
2007
ACM
16 years 7 months ago
2007
ACM
