1953 search results - page 240 / 391 » codes 2010 |
145
Voted
APLAS
2010
ACM
15 years 5 months ago
2010
ACM
Abstract. By combining algorithmic learning, decision procedures, predicate abstraction, and simple templates, we present an automated technique for finding quantified loop invaria...
133
click to vote
MM
2010
ACM
15 years 5 months ago
2010
ACM
VLFeat is an open and portable library of computer vision algorithms. It aims at facilitating fast prototyping and reproducible research for computer vision scientists and student...
142
Voted
SIGCSE
2010
ACM
15 years 5 months ago
2010
ACM
An analysis of data from 259 CS1 students is performed to compare the performance of students who were paired by demonstrated ability to that of students who were paired randomly ...
174
Voted
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
Sparse representation theory has been increasingly used in the fields of signal processing and machine learning. The standard sparse models are not invariant to spatial transform...
133
Voted
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
We propose a fast subpixel motion estimation method for motion deblurring, where conventional motion estimation algorithms used in video codings are too complex. The new algorithm...