3145 search results - page 59 / 629 » Algebraic Linear Orderings |
110
Voted
ICIP
2007
IEEE
16 years 2 months ago
2007
IEEE
In this paper, we present the structure and design method for a firstorder linear-phase filter bank (FOLPFB) which has unequal filter lengths in its synthesis bank (UFLPFB). A FOL...
113
Voted
TLCA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
103
Voted
ASCM
2007
Springer
15 years 6 months ago
2007
Springer
72
Voted
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
70
Voted
ISSAC
2005
Springer
15 years 6 months ago
2005
Springer