3169 search results - page 326 / 634 » Robust Timed Automata |
186
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
: The Game of Life cellular automaton is a classical example of a massively parallel collision-based computing device. The automaton exhibits mobile patterns, gliders, and generato...
178
click to vote
SIAMCOMP
2010
15 years 5 months ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
193
click to vote
ECCV
1992
Springer
16 years 8 months ago
1992
Springer
This paper presents a method for incrementally segmenting images over time using both intensity and motion information. This is done by formulating a model of physically signi cant...
166
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper proposes a GPU based algorithm for extracting moving objects in real time. The whole process of the proposed approach is handled on GPU. GPU is used for acceleration...
144
click to vote
CIARP
2005
Springer
16 years 5 days ago
2005
Springer
A simple note onset detection system for music is presented in this work. To detect onsets, a 1/12 octave filterbank is simulated in the frequency domain and the band derivatives ...