3007 search results - page 234 / 602 » Linear Functional Fixed-points |
133
click to vote
TLCA
2005
Springer
15 years 9 months ago
2005
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
104
Voted
ISSAC
2004
Springer
15 years 9 months ago
2004
Springer
We study the triangular representation of zero-dimensional varieties defined over the rational field (resp. a rational function field). We prove polynomial bounds in terms of i...
142
Voted
RTAS
2000
IEEE
15 years 8 months ago
2000
IEEE
—Many embedded systems operate under severe power and energy constraints. Voltage clock scaling is one mechanism by which energy consumption may be reduced: It is based on the fa...
134
Voted
DAGM
2006
Springer
15 years 7 months ago
2006
Springer
Kernel functions as similarity measures for sequential data have been extensively studied in previous research. This contribution addresses the efficient computation of distance fu...
106
Voted
ESANN
2007
15 years 5 months ago
2007
In this paper, a new method for the determination of missing values in temporal databases is presented. This new method is based on two projection methods: a nonlinear one (Self-Or...