Sciweavers

974 search results - page 159 / 195
» Image based rendering of iterated function systems
Sort
View
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
15 years 5 months ago
Swing-up control for n-link planar robot with single passive joint using the notion of virtual composite links
In this paper, we concern a swing-up control problem for an n-link revolute planar robot with any one of the joint being a passive joint. The goal of this study is to design and an...
Xin Xin, Jin-Hua She, Taiga Yamasaki
209
Voted
TACAS
2004
Springer
110views Algorithms» more  TACAS 2004»
15 years 8 months ago
An Interpolating Theorem Prover
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
Kenneth L. McMillan
CORR
2010
Springer
97views Education» more  CORR 2010»
15 years 15 days ago
On the Scaling Law for Compressive Sensing and its Applications
1 minimization can be used to recover sufficiently sparse unknown signals from compressed linear measurements. In fact, exact thresholds on the sparsity, as a function of the ratio...
Weiyu Xu, Ao Tang
ECCV
2008
Springer
16 years 5 months ago
FaceTracer: A Search Engine for Large Collections of Images with Faces
We have created the first image search engine based entirely on faces. Using simple text queries such as "smiling men with blond hair and mustaches," users can search thr...
Neeraj Kumar, Peter N. Belhumeur, Shree K. Nayar
MMS
2008
15 years 3 months ago
Semantic interactive image retrieval combining visual and conceptual content description
We address the challenge of semantic gap reduction for image retrieval through an improved SVM-based active relevance feedback framework, together with a hybrid visual and concept...
Marin Ferecatu, Nozha Boujemaa, Michel Crucianu