867 search results - page 88 / 174 » On Two Forms of Structural Recursion |
146
Voted
CORR
2011
Springer
14 years 9 months ago
2011
Springer
We analyze a class of estimators based on a convex relaxation for solving highdimensional matrix decomposition problems. The observations are the noisy realizations of the sum of ...
117
Voted
CVPR
2001
IEEE
16 years 4 months ago
2001
IEEE
We approach the problem of 2-D and 3-D puzzle solving by matching the geometric features of puzzle pieces three at a time. First, we define an affinity measure for a pair of piece...
137
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
104
Voted
DASFAA
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. As networks continue to grow in size and complexity, distributed network monitoring and resource querying are becoming increasingly difficult. Our aim is to design, build...
130
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: In current comparative proteomics studies, the large number of images generated by 2D gels is currently compared using spot matching algorithms. Unfortunately, differe...