11716 search results - page 117 / 2344 » Computable symbolic dynamics |
183
click to vote
SOFSEM
2012
Springer
14 years 1 months ago
2012
Springer
Abstract. Various methods exists in the literature for denoting the configuration of a Turing Machine. A key difference is whether the head position is indicated by some integer ...
171
click to vote
JUCS
2008
15 years 6 months ago
2008
: The topological pressure of dynamical systems theory is examined from a computability theoretic point of view. It is shown that for sofic shift dynamical systems, the topological...
162
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
In this paper, we present a framework for the design of steganographic schemes that can provide provable security by achieving zero Kullback-Leibler divergence between the cover a...
176
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Dynamic slicing algorithms can greatly reduce the debugging effort by focusing the attention of the user on a relevant subset of program statements. Recently algorithms for forwar...
163
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
Basic exploration of diffusion equation solvers in distributed computing systems has been a very important issue for computational fluid dynamics (CFD). This paper presents a funda...