2607 search results - page 290 / 522 » Complete Functional Synthesis |
154
click to vote
NIPS
2003
15 years 5 months ago
2003
Label ranking is the task of inferring a total order over a predefined set of labels for each given instance. We present a general framework for batch learning of label ranking f...
113
click to vote
RIAO
2000
15 years 5 months ago
2000
This paper presents the results of two separate studies into electronic book production. The Visual Book (Landoni, 1997) which explored the importance of the visual component of t...
118
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
170
click to vote
IJCV
2008
15 years 4 months ago
2008
Abstract This paper presents a novel algorithm for performing integrated segmentation and 3D pose estimation of a human body from multiple views. Unlike other state of the art meth...
132
click to vote
CGF
2007
15 years 4 months ago
2007
This paper presents a novel method for real-time homogenous translucent material editing under fixed illumination. We consider the complete analytic BSSRDF model proposed by Jens...