Sciweavers

3145 search results - page 59 / 629
» Algebraic Linear Orderings
Sort
View
142
Voted
ICIP
2007
IEEE
16 years 5 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
145
Voted
TLCA
2009
Springer
15 years 10 months 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
92
Voted
LICS
2005
IEEE
15 years 9 months ago
The Geometry of Linear Higher-Order Recursion
Ugo Dal Lago
ISSAC
2005
Springer
71views Mathematics» more  ISSAC 2005»
15 years 9 months ago
Solving second order linear differential equations with Klein's theorem
Mark van Hoeij, Jacques-Arthur Weil