Sciweavers

8486 search results - page 105 / 1698
» Ordered Enumeration Method
Sort
View
ICIP
2007
IEEE
14 years 10 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
CP
2005
Springer
14 years 2 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
IFL
2003
Springer
159views Formal Methods» more  IFL 2003»
14 years 2 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
ACMMPC
2000
Springer
238views Mathematics» more  ACMMPC 2000»
14 years 1 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
ECOOP
1998
Springer
14 years 1 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