585 search results - page 33 / 117 » Better Abstractions for Timed Automata |
115
click to vote
ICSC
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. This paper introduces a method for quantization of imagesequences which takes into account the human sensitivities in both space and time. A weighted clustering approach ...
92
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
109
Voted
ROBOCUP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
91
Voted
FAC
2008
15 years 16 days ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
93
Voted
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
Abstract The Firing Squad Synchronization Problem is one of the classical problems for cellular automata. In this paper we consider the case of more than one general. A synchronous...