Sciweavers

5012 search results - page 614 / 1003
» Distributed Error Correction
Sort
View
191
Voted
ICCV
1998
IEEE
16 years 8 months ago
Optical Flow Estimation Using Wavelet Motion Model
A motion estimation algorithm using wavelet approximation as an optical ow model has been developed to estimate accurate dense optical ow from an image sequence. This wavelet moti...
Yu-Te Wu, Takeo Kanade, Jeffrey F. Cohn, Ching-Chu...
ICIP
2003
IEEE
16 years 8 months ago
Robust line detection using a weighted MSE estimator
In this paper we introduce a novel line detection algorithm based on a weighted minimum mean square error (MSE) formulation. This algorithm has been developed to enable an autonom...
Guido M. Schuster, Aggelos K. Katsaggelos
ICDE
2008
IEEE
176views Database» more  ICDE 2008»
16 years 8 months ago
Automatic Result Verification for the Functional Testing of a Query Language
Functional testing of a query language is a challenging task in practice. In order to reveal errors in the query processing functionality, it is necessary to verify the actual res...
Carsten Binnig, Donald Kossmann, Eric Lo, Angel Sa...
SIGSOFT
2009
ACM
16 years 7 months ago
Asserting and checking determinism for multithreaded programs
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
Jacob Burnim, Koushik Sen
ALT
2004
Springer
16 years 3 months ago
Learning Languages from Positive Data and Negative Counterexamples
In this paper we introduce a paradigm for learning in the limit of potentially infinite languages from all positive data and negative counterexamples provided in response to the ...
Sanjay Jain, Efim B. Kinber