Sciweavers

2001 search results - page 314 / 401
» Dynamic Materialized Views
Sort
View
ISSTA
2012
ACM
13 years 5 months ago
Residual investigation: predictive and precise bug detection
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
Kaituo Li, Christoph Reichenbach, Christoph Csalln...

Publication
244views
17 years 2 months ago
Phenomenon-aware Stream Query Processing
Spatio-temporal data streams that are generated from mobile stream sources (e.g., mobile sensors) experience similar environmental conditions that result in distinct phenomena. Sev...
M. H. Ali, Mohamed F. Mokbel, Walid G. Aref
CVPR
2009
IEEE
16 years 9 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
2000
IEEE
16 years 4 months ago
Cameras for Stereo Panoramic Imaging
A panorama for visual stereo consists of a pair of panoramic images, where one panorama is for the left eye, and another panorama is for the right eye. A panoramic stereo pair pro...
Shmuel Peleg, Yael Pritch, Moshe Ben-Ezra
CVPR
2005
IEEE
16 years 4 months ago
Statistical Cue Integration for Foveated Wide-Field Surveillance
Reliable detection of human activity is an unsolved problem. The main is that low resolution and the unconstrained nature of realistic environments and human behaviourmakeform cue...
Simon J. D. Prince, James H. Elder, Yuqian Hou, Mi...