Detection of interlocking components in three-dimensional digital pictures
Information Sciences: an International Journal
There are no fully space constructible functions between log log n and log n
Information Processing Letters
A note on three-way two-dimensional alternating Turing machines
Information Sciences: an International Journal
Alternating multihead finite automata
Theoretical Computer Science
On three-way two-dimensional multicounter automata
Information Sciences: an International Journal
A survey of two-dimensional automata theory
Information Sciences: an International Journal
Space bounded computations: review and new separation results
MFCS '89 Selected papers of the symposium on Mathematical foundations of computer science
Nondeterministic computations in sublogarithmic space and space constructibility
SIAM Journal on Computing
Theoretical Computer Science - Special issue on logic and applications to computer science
Information Processing Letters
On space functions constructed by two-dimensional Turing machines
Information Sciences: an International Journal
A note on three-dimensional alternating Turing machines with space smaller than log m
Information Sciences: an International Journal
Computer graphics (2nd ed. in C): principles and practice
Computer graphics (2nd ed. in C): principles and practice
The computation of optical flow
ACM Computing Surveys (CSUR)
Journal of the ACM (JACM)
Picture Languages: Formal Models for Picture Recognition
Picture Languages: Formal Models for Picture Recognition
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Digital Picture Processing
Understanding Virtual Reality: Interface, Application, and Design
Understanding Virtual Reality: Interface, Application, and Design
Measures of parallelism in alternating computation trees (Extended Abstract)
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
SFCS '78 Proceedings of the 19th Annual Symposium on Foundations of Computer Science
SFCS '80 Proceedings of the 21st Annual Symposium on Foundations of Computer Science
Synchronized alternating turing machines on four-dimensional input tapes
WSEAS Transactions on Computers
WSEAS Transactions on Computers
Bottom-up pyramid cellular acceptors with four-dimensional layers
Artificial Life and Robotics
Hi-index | 0.00 |
During the past about thirty-five years, many automata on a two- or three-dimensional input tape have been proposed and a lot of properties of such automata have been obtained. On the other hand, we think that recently, due to the advances in computer animation, motion image processing, and so forth, it is very useful for analyzing computational complexity of multi-dimensional information processing to explicate the properties of four-dimensional automata, i.e., three-dimensional automata with the time axis. In this paper, we propose a four-dimensional multi-inkdot finite automaton and mainly investigate its recognizability of four-dimensional connected pictures. Moreover, we briefly investigate some basic accepting powers of four-dimensional multi-inkdot finite automata.