890 search results - page 125 / 178 » An Experimental Comparison of Stereo Algorithms |
202
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
We present a novel approach to learn distance metric for information retrieval. Learning distance metric from a number of queries with side information, i.e., relevance judgements...
188
click to vote
WEA
2010
Springer
16 years 1 months ago
2010
Springer
A tanglegram consists of a pair of (not necessarily binary) trees T1, T2 with leaf sets L1, L2. Additional edges, called tangles, may connect nodes in L1 with those in L2. The task...
150
click to vote
TACAS
2009
Springer
16 years 29 days ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
162
click to vote
WDAG
2009
Springer
16 years 24 days ago
2009
Springer
We study the convergence times of dynamics in games involving graphical relationships of players. Our model of local interaction games generalizes a variety of recently studied ga...
142
click to vote
CLUSTER
2008
IEEE
16 years 20 days ago
2008
IEEE
— Applications raising in many scientific fields exhibit both data and task parallelism that have to be exploited efficiently. A classic approach is to structure those applica...