6719 search results - page 376 / 1344 » A Generalization of Automatic Sequences |
146
click to vote
ENTCS
2006
15 years 4 months ago
2006
The approaches to automatic formal verification of UML models known up to now require a finite bound on the number of objects existing at each point in time. In [4] we have observ...
112
click to vote
CSL
2007
Springer
15 years 4 months ago
2007
Springer
Humans are able to recognise a word before its acoustic realisation is complete. This in contrast to conventional automatic speech recognition (ASR) systems, which compute the lik...
153
click to vote
IJCV
2002
15 years 4 months ago
2002
We present a method to automatically extract spatio-temporal descriptions of moving objects from synchronized and calibrated multi-view sequences. The object is modeled by a time-...
175
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We propose a novel method to automatically detect and extract the video modality of the sound sources that are present in a scene. For this purpose, we first assess the synchrony...
181
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
This paper presents a novel approach to skim and describe 3D videos. 3D video is an imaging technology which consists in a stream of 3D models in motion captured by a synchronized ...