3169 search results - page 328 / 634 » Robust Timed Automata |
162
Voted
TIT
2008
15 years 6 months ago
2008
In the past few years, a certain number of authors have proposed analysis methods of the time series built from a long range dependence noise. One of these methods is the Detrended...
149
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
A propositional proof system is automatizable if there is an algorithm that, given a tautology, produces a proof in time polynomial in the size of its smallest proof. This notion ...
176
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper proposes a novel method for matching road vehicles between two non-overlapping cameras. The matching problem is formulated as a same-different classification problem: p...
198
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper, we propose a robust multi-layer background subtraction technique which takes advantages of local texture features represented by local binary patterns (LBP) and pho...
206
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
In this paper, we present a new and robust shape descriptor, which can be efficiently used to quickly prune a search for similar shapes in a large image database. The proposed sha...