Sciweavers

3533 search results - page 274 / 707
» Locally Optimized RANSAC
Sort
View
PLDI
2003
ACM
15 years 12 months ago
Automatically proving the correctness of compiler optimizations
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
Sorin Lerner, Todd D. Millstein, Craig Chambers
ICDE
2009
IEEE
143views Database» more  ICDE 2009»
16 years 1 months ago
Supporting Generic Cost Models for Wide-Area Stream Processing
— Existing stream processing systems are optimized for a specific metric, which may limit their applicability to diverse applications and environments. This paper presents XFlow...
Olga Papaemmanouil, Ugur Çetintemel, John J...
AAAI
2008
15 years 9 months ago
From Comparing Clusterings to Combining Clusterings
This paper presents a fast simulated annealing framework for combining multiple clusterings (i.e. clustering ensemble) based on some measures of agreement between partitions, whic...
Zhiwu Lu, Yuxin Peng, Jianguo Xiao
DAGSTUHL
2010
15 years 8 months ago
Generalized Swap Operation for Tetrahedrizations
Mesh optimization of 2D and 3D triangulations is used in multiple applications extensively. For example, mesh optimization is crucial in the context of adaptively discretizing geo...
Burkhard Lehner, Bernd Hamann, Georg Umlauf
ACCV
2010
Springer
15 years 1 months ago
Finding Human Poses in Videos Using Concurrent Matching and Segmentation
Abstract. We propose a novel method to detect human poses in videos by concurrently optimizing body part matching and object segmentation. With a single exemplar image, the propose...
Hao Jiang