157 search results - page 2 / 32 » Interpolation and Symbol Elimination |
APAL
2008
13 years 4 months ago
2008
A simple cut elimination proof for arithmetic with epsilon symbol is used to establish termination of a modified epsilon substitution process. This opens a possibility of extensio...
SOFSEM
2009
Springer
14 years 1 months ago
2009
Springer
DATE
2005
IEEE
13 years 10 months ago
2005
IEEE
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We present an exact and complete algorithm to isolate the real solutions of a zero-dimensional bivariate polynomial system. The proposed algorithm constitutes an elimination metho...
ISCAS
2003
IEEE
13 years 10 months ago
2003
IEEE
Maximum Likelihood estimation theory can be used to develop optimal timing recovery schemes for digital communication systems. Tunable digital interpolation filters are commonly ...