3552 search results - page 635 / 711 » Proof theory in the abstract |
177
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The NP-complete Distinguishing Substring Selection problem (DSSS for short) asks, given a set of “good” strings and a set of “bad” strings, for a solution string ...
183
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Compressive sensing (CS) is a new approach for the acquisition and recovery of sparse signals and images that enables sampling rates significantly below the classical Ny...
129
click to vote
ISCIS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. To convert an interlaced video into a progressive one effectively, de-interlacing techniques have been developed. However, existing de-interlacing techniques can not per...
191
click to vote
FOCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract—This paper generalizes the classical Knuth–Schönhage algorithm computing the greatest common divisor (gcd) of two polynomials for solving arbitrary linear Diophantine...
215
click to vote
HASE
2002
IEEE
15 years 11 months ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...