9849 search results - page 315 / 1970 » Algorithms and Experiments for the Webgraph |
221
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
In this work we propose a method for estimating disparity maps from very few measurements. Based on the theory of Compressive Sensing, our algorithm accurately reconstructs dispar...
224
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
192
click to vote
ICRA
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract— To advance robotic science it is important to perform experiments that can be replicated by other researchers to compare different methods. However, these comparisons t...
197
click to vote
IROS
2009
IEEE
16 years 2 months ago
2009
IEEE
— This paper describes a model-based probabilistic framework for tracking a fleet of laboratory-scale underwater vehicles using multiple fixed cameras. We model the target moti...
340
click to vote
RECOMB
2011
Springer
14 years 10 months ago
2011
Springer
Motivation. Current approaches to RNA structure prediction range from physics-based methods, which rely on thousands of experimentally-measured thermodynamic parameters, to machin...