Sciweavers

6431 search results - page 959 / 1287
» Model Building by Resolution
Sort
View
PLDI
2012
ACM
13 years 7 months ago
Parallelizing top-down interprocedural analyses
Modularity is a central theme in any scalable program analysis. The core idea in a modular analysis is to build summaries at procedure boundaries, and use the summary of a procedu...
Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sri...
ICDE
2008
IEEE
425views Database» more  ICDE 2008»
17 years 4 months ago
NAGA: Searching and Ranking Knowledge
The Web has the potential to become the world’s largest knowledge base. In order to unleash this potential, the wealth of information available on the Web needs to be extracte...
Gjergji Kasneci, Fabian M. Suchanek, Georgiana Ifr...
CVPR
2009
IEEE
16 years 12 months ago
Stereo Matching with Nonparametric Smoothness Priors in Feature Space
We propose a novel formulation of stereo matching that considers each pixel as a feature vector. Under this view, matching two or more images can be cast as matching point clouds i...
Brandon M. Smith, Hailin Jin, Li Zhang
CVPR
2007
IEEE
16 years 6 months ago
Multi-class object tracking algorithm that handles fragmentation and grouping
We propose a framework for detecting and tracking multiple interacting objects, while explicitly handling the dual problems of fragmentation (an object may be broken into several ...
Biswajit Bose, Xiaogang Wang, Eric Grimson
CVPR
2007
IEEE
16 years 6 months ago
Artificial Complex Cells via the Tropical Semiring
The seminal work of Hubel and Wiesel [14] and the vast amount of work that followed it prove that hierarchies of increasingly complex cells play a central role in cortical computa...
Lior Wolf, Moshe Guttmann