1888 search results - page 220 / 378 » Proof theory and computational analysis |
152
click to vote
ITICSE
2006
ACM
16 years 1 months ago
2006
ACM
Learning elementary programming can be enhanced by introducing the notion of variable roles to students. This paper presents a web-based automatic role detection service that can ...
194
click to vote
SPAA
2004
ACM
16 years 16 days ago
2004
ACM
This paper presents the first polylogarithmic-competitive online algorithms for two-metric network design problems. These problems arise naturally in the design of computer netwo...
171
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
In many image analysis applications there is a need to extract curves in noisy images. To achieve a more robust extraction, one can exploit correlations of oriented features over a...
200
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
The use of Mercer kernel methods in statistical learning theory provides for strong learning capabilities, as seen in kernel principal component analysis and support vector machin...
214
Voted
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
We present a theoretical analysis for characterizing the shadows cast by a point light source given its relative position to the camera. In particular, we analyze the epipolar geo...