1716 search results - page 87 / 344 » Generating models for temporal representations |
154
Voted
RTSS
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper presents an on-the-fly and symbolic algorithm for checking whether a timed automaton satisfies a formula of a timed temporal logic which is more expressive than TCTL....
133
Voted
VISAPP
2007
15 years 5 months ago
2007
We introduce one module in a cognitive system that learns the shape of objects by active exploration. More specifically, we propose a feature tracking scheme that makes use of the...
101
Voted
ICASSP
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a novel video fingerprinting method based on subspace embedding. The proposed method is particularly robust against frame-rate conversion attacks and geometric attacks...
118
click to vote
DSRT
2005
IEEE
15 years 9 months ago
2005
IEEE
Human-to-human interaction across distributed applications requires that sufficient consistency be maintained among participants in the face of network characteristics such as lat...
148
Voted
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
Scenes with cast shadows can produce complex sets of
images. These images cannot be well approximated by lowdimensional
linear subspaces. However, in this paper we
show that the...