Sciweavers

9888 search results - page 1757 / 1978
» compute 2009
Sort
View
FOCS
2009
IEEE
16 years 1 months ago
Distance Oracles for Sparse Graphs
Abstract— Thorup and Zwick, in their seminal work, introduced the approximate distance oracle, which is a data structure that answers distance queries in a graph. For any integer...
Christian Sommer 0002, Elad Verbin, Wei Yu
TLCA
2009
Springer
16 years 1 months ago
Parametricity for Haskell with Imprecise Error Semantics
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
Florian Stenger, Janis Voigtländer
EXACT
2009
15 years 4 months ago
Explanations and Arguments Based on Practical Reasoning
In this paper a representative example is chosen that is meant be fairly simple for illustrating the point that in a very common kind of instance, argument and explanation are mixe...
Douglas Walton
ICCV
2009
IEEE
16 years 11 months ago
Boundary Ownership by Lifting to 2.5D
This paper addresses the “boundary ownership” problem, also known as the figure/ground assignment problem. Estimating boundary ownerships is a key step in perceptual organiz...
Ido Leichter and Michael Lindenbaum
ICCV
2009
IEEE
16 years 11 months ago
Tracking in Unstructured Crowded Scenes
This paper presents a target tracking framework for unstructured crowded scenes. Unstructured crowded scenes are defined as those scenes where the motion of a crowd appears to b...
Mikel Rodriguez, Saad Ali, Takeo Kanade
« Prev « First page 1757 / 1978 Last » Next »