Sciweavers

3110 search results - page 214 / 622
» On the initialization of the DNMF algorithm
Sort
View
CVPR
2012
IEEE
13 years 9 months ago
Exemplar-based human action pose correction and tagging
The launch of Xbox Kinect has built a very successful computer vision product and made a big impact to the gaming industry; this sheds lights onto a wide variety of potential appl...
Wei Shen, Ke Deng, Xiang Bai, Tommer Leyvand, Bain...
CVPR
2012
IEEE
13 years 9 months ago
Synthesizing oil painting surface geometry from a single photograph
We present an approach to synthesize the subtle 3D relief and texture of oil painting brush strokes from a single photograph. This task is unique from traditional synthesize algor...
Wei Luo, Zheng Lu, Xiaogang Wang, Ying-Qing Xu, Mo...
CADE
2012
Springer
13 years 9 months ago
A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic
Abstract. This paper describes a novel decision procedure for quantifierfree linear integer arithmetic. Standard techniques usually relax the initial problem to the rational domai...
François Bobot, Sylvain Conchon, Evelyne Co...
ICSE
2012
IEEE-ACM
13 years 9 months ago
Synthesizing API usage examples
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
Raymond P. L. Buse, Westley Weimer
PODC
2006
ACM
16 years 16 days ago
On the complexity of distributed graph coloring
Coloring the nodes of a graph with a small number of colors is one of the most fundamental problems in theoretical computer science. In this paper, we study graph coloring in a di...
Fabian Kuhn, Roger Wattenhofer