26 search results - page 3 / 6 » Formalisation and Analysis of the Temporal Dynamics of Condi... |
FORMATS
2003
Springer
14 years 20 days ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
IBPRIA
2007
Springer
14 years 1 months ago
2007
Springer
We present a new method for the synchronization of a pair of video sequences and the spatial registration of all the temporally corresponding frames. This is a mandatory step to pe...
IJON
2000
13 years 7 months ago
2000
Harmonic analysis is applied to analyze the transmission of bandlimited signals via spike trains generated by a pair of leaky integrate-and-fire (LIF) model neurons organized in a...
AVSS
2009
IEEE
13 years 10 months ago
2009
IEEE
—Automatic understanding of human behavior is an important and challenging objective in several surveillance applications. One of the main problems of this task consists in accur...
WACV
2002
IEEE
14 years 10 days ago
2002
IEEE
Detecting human arm motion in a typical classroom environment is a challenging task due to the noisy and highly dynamic background, varying light conditions, as well as the small ...