400 search results - page 31 / 80 » Moving Proofs-As-Programs into Practice |
HCI
1997
13 years 9 months ago
1997
Navigation is one of the most critical aspects of browsing pages in the World Wide Web. Users spend a significant amount of time moving from page to page in search of the desired ...
SYNTHESE
2008
13 years 7 months ago
2008
This paper discusses the notion of necessity in the light of results from contemporary mathematical practice. Two descriptions of necessity are considered. According to the first, ...
CVPR
2009
IEEE
15 years 2 months ago
2009
IEEE
Most modern computer vision systems for high-level
tasks, such as image classification, object recognition and
segmentation, are based on learning algorithms that are
able to se...
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
Depth from triangulation has traditionally been treated in a number of separate threads in the computer vision literature, with methods like stereo, laser scanning, and coded stru...
CVPR
2004
IEEE
14 years 9 months ago
2004
IEEE
In this paper, we address the problem of discovering the 3D shape of a book surface from the shading information in a scanned document image. This shapefrom-shading problem is cha...