333 search results - page 48 / 67 » Speeding up moving-target search |
80
Voted
ICIP
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we propose an early termination algorithm for speeding up the detection phase of the Adaboost based detectors. In the basic algorithm, at a specific search location,...
KDD
2006
ACM
15 years 10 months ago
2006
ACM
Temporal patterns composed of symbolic intervals are commonly formulated with Allen's interval relations originating in temporal reasoning. This representation has severe dis...
ICCAD
2002
IEEE
15 years 7 months ago
2002
IEEE
Within the verification community, there has been a recent increase in interest in Quantified Boolean Formula evaluation (QBF) as many interesting sequential circuit verification ...
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
59
Voted
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Hua et al. have proposed a stable and efficient tracking algorithm called “K-means tracker”[2, 3, 5]. This paper describes an adaptive non-target cluster center selection met...