2607 search results - page 11 / 522 » Complete Functional Synthesis |
71
Voted
ECCV
2000
Springer
15 years 11 months ago
2000
Springer
We describe a method for computing the likelihood that a completion joining two contour fragments passes through any given position and orientation in the image plane, that is, a m...
CIVR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Keypics are graphical metadata intended for indexing of images on the Internet. They are conceived as hand-drawn sketches, not restricted to a definite set. An obvious d...
97
Voted
PLILP
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
104
click to vote
FMSD
2002
14 years 9 months ago
2002
We present a new technique for verification of complex hardware devices that allows both generality andahighdegreeofautomation.Thetechniqueisbasedonournewwayofconstructinga"li...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
In this paper, we address the matrix completion problem and propose a novel algorithm based on a smoothed rank function (SRF) approximation. Among available algorithms like FPCA a...