3333 search results - page 621 / 667 » Abstract Proof Search |
255
click to vote
SCIA
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. This paper shows how stereo and Time-of-Flight (ToF) images can be combined to estimate dense depth maps in order to automate plant phenotyping. We focus on some challeng...
138
click to vote
ICC
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract— Large military ad hoc networks are often characterized by the interconnection of heterogeneous domains. The same trend is emerging in civilian MANETs (e.g., search and ...
159
click to vote
EVOW
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. The hydrophobic-polar (HP) model for protein structure preabstracts the fact that hydrophobic interactions are a dominant force in the protein folding process. This model...
190
click to vote
TOG
2012
13 years 6 months ago
2012
We develop a system for 3D object retrieval based on sketched feature lines as input. For objective evaluation, we collect a large number of query sketches from human users that a...
131
click to vote
CAV
2012
Springer
13 years 6 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...