1681 search results - page 230 / 337 » Speeding up keyword search for search engines |
236
click to vote
ICDE
2006
IEEE
16 years 2 months ago
2006
IEEE
In applications of biometric databases the typical task is to identify individuals according to features which are not exactly known. Reasons for this inexactness are varying meas...
105
click to vote
ICIP
2009
IEEE
16 years 2 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
16 years 1 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 10 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 ...
107
click to vote
TACAS
2010
Springer
15 years 8 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...