1746 search results - page 152 / 350 » Recent Developments in Algorithmic Teaching |
104
Voted
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
The accuracy of optical flow estimation algorithms has been improving steadily as evidenced by results on the Middlebury optical flow benchmark. The typical formulation, however...
122
Voted
FOSSACS
2010
Springer
15 years 5 months ago
2010
Springer
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
147
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Data mining is the task of discovering interesting patterns from large amounts of data. There are many data mining tasks, such as classification, clustering, association rule mini...
119
click to vote
JMIV
2007
15 years 2 months ago
2007
Recently, a powerful two-phase method for restoring images corrupted with high level impulse noise has been developed. The main drawback of the method is the computational efficie...
109
click to vote
IGPL
2000
15 years 2 months ago
2000
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...