Sciweavers

3145 search results - page 59 / 629
» Algebraic Linear Orderings
Sort
View
ICIP
2007
IEEE
16 years 7 months ago
Unequal Length First-Order Linear-Phase Filter Banks for Efficient Image Coding
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...
Yuichi Tanaka, Masaaki Ikehara, Truong Q. Nguyen
TLCA
2009
Springer
16 years 1 days ago
Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic
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...
Lutz Straßburger
ISSAC
2005
Springer
71views Mathematics» more  ISSAC 2005»
15 years 11 months ago
Solving second order linear differential equations with Klein's theorem
Mark van Hoeij, Jacques-Arthur Weil