1877 search results - page 195 / 376 » A new method for bottleneck detection |
153
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
156
click to vote
ATS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a new pseudorandom testing algorithm for the Built-In Self-Test (BIST) of DRAM. In this algorithm, test patterns are complemented to generate state-transitions that are...
158
click to vote
ISSAC
1997
Springer
15 years 10 months ago
1997
Springer
We give a new numerical absolute primality criterion for bivariate polynomials. This test is based on a simple property of the monomials appearing after a generic linear change of...
167
click to vote
EACL
2006
ACL Anthology
15 years 8 months ago
2006
ACL Anthology
We present a new method for detecting and disambiguating named entities in open domain text. A disambiguation SVM kernel is trained to exploit the high coverage and rich structure...
215
click to vote
MVA
2007
15 years 8 months ago
2007
This paper presents a novel hybrid method for extracting license plates and recognizing characters from low-quality videos using morphological operations and Adaboost algorithm. F...