Sciweavers

479 search results - page 86 / 96
» On Static Properties of Specialized Programs
Sort
View
COCO
2010
Springer
133views Algorithms» more  COCO 2010»
13 years 11 months ago
Spectral Algorithms for Unique Games
We present a new algorithm for Unique Games which is based on purely spectral techniques, in contrast to previous work in the area, which relies heavily on semidefinite programmi...
Alexandra Kolla
HYBRID
2009
Springer
13 years 11 months ago
Trajectory Based Verification Using Local Finite-Time Invariance
Abstract. In this paper we propose a trajectory based reachability analysis by using local finite-time invariance property. Trajectory based analysis are based on the execution tra...
A. Agung Julius, George J. Pappas
LREC
2008
130views Education» more  LREC 2008»
13 years 8 months ago
DIAC+: a Professional Diacritics Recovering System
In languages that use diacritical characters, if these special signs are stripped-off from a word, the resulted string of characters may not exist in the language, and therefore i...
Dan Tufis, Alexandru Ceausu
CVPR
2012
IEEE
11 years 9 months ago
Generalized Multiview Analysis: A discriminative latent space
This paper presents a general multi-view feature extraction approach that we call Generalized Multiview Analysis or GMA. GMA has all the desirable properties required for cross-vi...
Abhishek Sharma, Abhishek Kumar, Hal Daumé ...
CVPR
2012
IEEE
11 years 9 months ago
Scale resilient, rotation invariant articulated object matching
A novel method is proposed for matching articulated objects in cluttered videos. The method needs only a single exemplar image of the target object. Instead of using a small set o...
Hao Jiang, Tai-Peng Tian, Kun He, Stan Sclaroff