322 search results - page 21 / 65 » Satisfiability Coding Lemma |
FOCS
2002
IEEE
14 years 15 days 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...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
— A construction of a new family of distributed space time codes (DSTCs) having full diversity and low Maximum Likelihood (ML) decoding complexity is provided for the two phase b...
JALC
2006
13 years 7 months ago
2006
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
This paper proposes a new publishing system using PC and large-sized printer that can produce high quality printed matters comprising text, charts, and illustrations, etc. To cons...
IESS
2007
Springer
14 years 1 months ago
2007
Springer
The stringent performance constraints and short time to market of modern digital systems require automatic methods for design of high performance applicationspecific architectures...