415 search results - page 31 / 83 » Regular Processes and Timed Automata |
SPIRE
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. In this paper, we extend the SHIFT-AND approach by BaezaYates and Gonnet (CACM 35(10), 1992) to the matching problem for network expressions, which are regular expression...
DATE
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test pur...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
This paper illustrates a technique for specifying the detailed timing, logical operation, and compositional circuit design of digital circuits in terms of ordinary state machines w...
JGO
2010
13 years 7 months ago
2010
Abstract The ability of the modern graphics processors to operate on large matrices in parallel can be exploited for solving constrained image deblurring problems in a short time. ...
ICPR
2002
IEEE
14 years 9 months ago
2002
IEEE
We introduce a real-time robust tracking procedure for a regular pattern marked on a flexible moving surface such as cloth. Our system is capable of maintaining the tracked grid s...