3007 search results - page 234 / 602 » Linear Functional Fixed-points |
174
click to vote
TLCA
2005
Springer
16 years 2 days 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...
132
click to vote
ISSAC
2004
Springer
15 years 12 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...
189
click to vote
RTAS
2000
IEEE
15 years 11 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...
170
click to vote
DAGM
2006
Springer
15 years 10 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...
142
click to vote
ESANN
2007
15 years 8 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...