Sciweavers

245 search results - page 41 / 49
» On the Average-Case Complexity of Property Testing
Sort
View
PAMI
2010
337views more  PAMI 2010»
14 years 10 months ago
Single-Image Super-Resolution Using Sparse Regression and Natural Image Prior
—This paper proposes a framework for single-image super-resolution. The underlying idea is to learn a map from input low-resolution images to target high-resolution images based ...
Kwang In Kim, Younghee Kwon
BMVC
2010
14 years 9 months ago
Manifold Alignment via Corresponding Projections
In this paper, we propose a novel manifold alignment method by learning the underlying common manifold with supervision of corresponding data pairs from different observation sets...
Deming Zhai, Bo Li, Hong Chang, Shiguang Shan, Xil...
RTSS
1999
IEEE
15 years 4 months ago
High-Level Modeling and Analysis of TCAS
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
Carolos Livadas, John Lygeros, Nancy A. Lynch
FASE
2006
Springer
15 years 3 months ago
Regular Inference for State Machines with Parameters
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...
Therese Berg, Bengt Jonsson, Harald Raffelt
SIGMOD
2009
ACM
137views Database» more  SIGMOD 2009»
15 years 12 months ago
Robust and efficient algorithms for rank join evaluation
In the rank join problem we are given a relational join R1 1 R2 and a function that assigns numeric scores to the join tuples, and the goal is to return the tuples with the highes...
Jonathan Finger, Neoklis Polyzotis