Sciweavers

72 search results - page 12 / 15
» Transferring Localization Models across Space
Sort
View
186
Voted
SIGMOD
2005
ACM
143views Database» more  SIGMOD 2005»
15 years 9 months ago
Holistic Aggregates in a Networked World: Distributed Tracking of Approximate Quantiles
While traditional database systems optimize for performance on one-shot queries, emerging large-scale monitoring applications require continuous tracking of complex aggregates and...
Graham Cormode, Minos N. Garofalakis, S. Muthukris...
CVPR
2008
IEEE
15 years 11 months ago
Optical flow estimation with uncertainties through dynamic MRFs
In this paper, we propose a novel dynamic discrete framework to address image morphing with application to optical flow estimation. We reformulate the problem using a number of di...
Ben Glocker, Nikos Paragios, Nikos Komodakis, Geor...
79
Voted
ESA
2006
Springer
105views Algorithms» more  ESA 2006»
15 years 1 months ago
Navigating Low-Dimensional and Hierarchical Population Networks
Abstract. Social networks are navigable small worlds, in which two arbitrary people are likely connected by a short path of intermediate friends that can be found by a "decent...
Ravi Kumar, David Liben-Nowell, Andrew Tomkins
68
Voted
LSSC
2005
Springer
15 years 3 months ago
A Multiscale Discontinuous Galerkin Method
We propose a new class of Discontinuous Galerkin (DG) methods based on variational multiscale ideas. Our approach begins with an additive decomposition of the discontinuous finite...
Pavel B. Bochev, Thomas J. R. Hughes, Guglielmo Sc...
DAC
2005
ACM
15 years 10 months ago
Word level predicate abstraction and refinement for verifying RTL verilog
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
Himanshu Jain, Daniel Kroening, Natasha Sharygina,...