Sciweavers

6592 search results - page 1256 / 1319
» On robust cycle bases
Sort
View
POPL
2010
ACM
16 years 3 months ago
Continuity Analysis of Programs
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerm...
ICDT
2010
ACM
211views Database» more  ICDT 2010»
16 years 3 months ago
Probabilistic Data Exchange
The work reported here lays the foundations of data exchange in the presence of probabilistic data. This requires rethinking the very basic concepts of traditional data exchange, ...
Ronald Fagin, Benny Kimelfeld, Phokion Kolaitis
CVPR
2010
IEEE
1208views Computer Vision» more  CVPR 2010»
16 years 2 months ago
Visual Tracking Decomposition
We propose a novel tracking algorithm that can work robustly in a challenging scenario such that several kinds of appearance and motion changes of an object occur at the same time....
Junseok Kwon (Seoul National University), Kyoung M...
CVPR
2010
IEEE
2187views Computer Vision» more  CVPR 2010»
16 years 2 months ago
3D Scene Priors for Road Detection
Vision-based road detection is important in different areas of computer vision such as autonomous driving, car collision warning and pedestrian crossing detection. However, curre...
Jose M. Alvarez, Theo Gevers, Antonio M. Lopez
WWW
2010
ACM
16 years 1 months ago
A pattern tree-based approach to learning URL normalization rules
Duplicate URLs have brought serious troubles to the whole pipeline of a search engine, from crawling, indexing, to result serving. URL normalization is to transform duplicate URLs...
Tao Lei, Rui Cai, Jiang-Ming Yang, Yan Ke, Xiaodon...
« Prev « First page 1256 / 1319 Last » Next »