921 search results - page 96 / 185 » On Interleaving in Timed Automata |
IPPS
1996
IEEE
15 years 4 months ago
1996
IEEE
In this paper, we present a parallel algorithm for the minimization of deterministic finite state automata (DFA's) and discuss its implementation on a connection machine CM-5...
FLAIRS
2004
15 years 1 months ago
2004
Corrosion is one of the degrading mechanisms that greatly affect the structural integrity of aerospace components. Corrosion begins with small imperfections in the given material ...
108
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper presents reliable techniques for detecting, tracking, and storing keyframes of people in surveillance video. The first component of our system is a novel face detector ...
SPAA
2000
ACM
15 years 4 months ago
2000
ACM
This paper presents mathematical foundations for the design of a memory controller subcomponent that helps to bridge the processor/memory performance gap for applications with str...
131
click to vote
PC
2006
14 years 11 months ago
2006
Cellular automata (CA) are discrete dynamic systems that have been used for modeling many physical systems. CA are often used as an alternative to model and solve large-scale syst...