9316 search results - page 254 / 1864 » Analysis of traceback techniques |
158
Voted
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
The Generalized Hough Transform is a technique used to detect arbitrary objects in a given image. This technique is known for its capacity of absorption of distortions as well as ...
127
click to vote
EUROPAR
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. A practical methodology for compilation of trustworthy realtime programs is introduced. It combines new program development and timing analysis techniques with traditiona...
190
click to vote
MOVEP
2000
15 years 9 months ago
2000
We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...
126
Voted
TIT
2008
15 years 5 months ago
2008
We prove the strongest known bound for the risk of hypotheses selected from the ensemble generated by running a learning algorithm incrementally on the training data. Our result i...
147
Voted
MOC
2002
15 years 5 months ago
2002
This paper presents an average time analysis of a Hensel lifting based factorisation algorithm for bivariate polynomials over finite fields. It is shown that the average running ti...