2069 search results - page 206 / 414 » Linear time algorithms for Clobber |
178
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Abstract— This paper investigates control laws allowing mobile, autonomous agents to optimally position themselves on the line for distributed sensing in a nonuniform field. We ...
192
click to vote
RTSS
1997
IEEE
15 years 10 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....
186
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Motion blur can degrade the quality of images and is considered a nuisance for computer vision problems. In this paper, we show that motion blur can in-fact be used for increasing...
171
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We consider the problem of predicting a sequence of real-valued multivariate states from a given measurement sequence. Its typical application in computer vision is the task of mo...
155
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
In this paper, we propose preconditioned Krylov-subspace iterative methods to perform efficient DC and transient simulations for large-scale linear circuits with an emphasis on po...