19798 search results - page 586 / 3960 » Is Structural Subtyping Useful |
149
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We study the semantic meaning of block structure using game semantics and introduce the notion of block-innocent strategies, which turns out to characterise call-by-value...
156
click to vote
CRV
2008
IEEE
15 years 11 months ago
2008
IEEE
Dense stereo algorithms rely on matching over a range of disparities. To speed up the search and reduce match ambiguity, processing can be embedded in the hierarchical, or coarse-...
146
click to vote
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Spatial priors play crucial roles in many high-level vision tasks, e.g. scene understanding. Usually, learning spatial priors relies on training a structured output model. In this...
143
click to vote
ISM
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we propose a tree-based multidimensional structure, GeM-Tree, which indexes both images and videos within a single general framework utilizing Earth Mover’s Dista...
160
click to vote
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
In epidemic or gossip-based multicast protocols, each node simply relays each message to some random neighbors, such that all destinations receive it at least once with high proba...