1511 search results - page 22 / 303 » Relational Parametricity for Computational Effects |
131
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Many applications in computer vision and pattern recognition involve drawing inferences on certain manifoldvalued parameters. In order to develop accurate inference algorithms on ...
117
Voted
TACS
1991
Springer
15 years 7 months ago
1991
Springer
System F is a well-known typed λ-calculus with polymorphic types, which provides a basis for polymorphic programming languages. We study an extension of F, called F<: (pronoun...
129
click to vote
WSCG
2001
15 years 5 months ago
2001
Imaged-based rendering is a well-known method in computer graphics to achieve photo-realistic images. In this paper we show how conventional image-based rendering algorithms can b...
149
click to vote
ECCV
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This work focuses on characterizing scenery images. We semantically divide the objects in natural landscape scenes into background and foreground and show that the shapes...
126
click to vote
IWC
2000
15 years 3 months ago
2000
Information visualisation systems which generate diagrams representing discrete relational information must consider potential users if they are to be effective. Many algorithms w...