Sciweavers

8486 search results - page 105 / 1698
» Ordered Enumeration Method
Sort
View
128
Voted
ICIP
2007
IEEE
16 years 4 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
124
Voted
CP
2005
Springer
15 years 8 months ago
Incremental Algorithms for Local Search from Existential Second-Order Logic
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
Magnus Ågren, Pierre Flener, Justin Pearson
131
Voted
IFL
2003
Springer
159views Formal Methods» more  IFL 2003»
15 years 7 months ago
Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
Pedro B. Vasconcelos, Kevin Hammond
248
Voted
ACMMPC
2000
Springer
238views Mathematics» more  ACMMPC 2000»
15 years 7 months ago
Ordered Sets and Complete Lattices
Abstract. These notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the welleducated computer scientist. The objective ...
Hilary A. Priestley
120
Voted
ECOOP
1998
Springer
15 years 6 months ago
An Imperative, First-Order Calculus with Object Extension
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies th...
Viviana Bono, Kathleen Fisher