3653 search results - page 22 / 731 » On Recognizable Timed Languages |
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
MFCS
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we study language recognition by two-dimensional cellular automata on different possible neighborhoods. Since it is known that all complete neighborhoods are linearl...
TAPSOFT
1997
Springer
15 years 1 months ago
1997
Springer
The goal of this paper is to analyse semantics of algorithms with explicit continuous time with further aim to nd approaches to automatize model checking in high level, easily unde...
102
click to vote
ICDAR
2009
IEEE
14 years 7 months ago
2009
IEEE
We propose a real-time retrieval method for document images in various languages. In this method, queries are images of documents captured by a web-camera. The document images cor...
ITCC
2003
IEEE
15 years 3 months ago
2003
IEEE
A multimedia server needs to satisfy the temporal ordering of multimedia data streams when servicing a client. Multimedia data has high bandwidth requirements, and within a networ...