736 search results - page 84 / 148 » High-order functions and their ordering relations |
158
click to vote
CASC
2010
Springer
15 years 5 months ago
2010
Springer
We discuss the algorithms which, given a linear difference equation with rational function coefficients over a field k of characteristic 0, compute a polynomial U(x) ∈ k[x] (a ...
126
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
This paper concentrates on some aspects of the history of the analytic-synthetic distinction from Kant to Bolzano and Frege. This history evinces considerable continuity but also ...
183
click to vote
COMPSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper we propose a meta-model for architectures with heterogeneous multimedia components. Currently, a generic solution does not exist to automatically deploy a distributed...
156
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Super-resolution is the task of creating an high resolution image from a low resolution input sequence. To overcome the difficulties of fine image registration, several methods ...
177
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Homology is a key concept in both evolutionary biology and genomics. Detection of homology is crucial in fields like the functional annotation of protein sequences and...