1140 search results - page 16 / 228 » Progress on Certifying Algorithms |
DIAGRAMS
2006
Springer
14 years 1 months ago
2006
Springer
We conducted eye-tracking studies of subjects solving the problem of finding shortest paths in a graph using a known procedure (Dijkstra's algorithm). The goal of these studie...
ICIP
1994
IEEE
14 years 1 months ago
1994
IEEE
A new progressive transmission scheme using spline biorthogorial wavelet bases is proposed in this paper: First, several wavelet bases are compared with the spline biorthogonul nm...
WDAG
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Understanding the effect of different progress conditions on the computability of distributed systems is an important and exciting research direction. For a system with n...
EDBT
2008
ACM
14 years 10 months ago
2008
ACM
Users often do not require a complete answer to their query but rather only a sample. They expect the sample to be either the largest possible or the most representative (or both)...
ICPR
2000
IEEE
14 years 11 months ago
2000
IEEE
In this paper we look at the benefits to be gained in using gradient information to enhance the Progressive Probabilistic Hough Transform(PPHT). It is shown how using the angle in...