3007 search results - page 68 / 602 » Linear Functional Fixed-points |
CONCUR
2005
Springer
15 years 5 months ago
2005
Springer
Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic...
ISMVL
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper shows that particular classes of linear combinations of the coefficients of the circular Chrestenson-Vilenkin spectrum of ternary functions characterize whether cofacto...
BMVC
1996
15 years 1 months ago
1996
We describe several established error of fit (EOF) functions for use in the least square fitting of ellipses, and introduce a further four new EOFs. Four measures are given for as...
JMIV
2006
14 years 11 months ago
2006
We address the problem of reconstructing a planar shape from a finite number of noisy measurements of its support function or its diameter function. New linear and non-linear algor...
88
Voted
ICFP
2008
ACM
15 years 11 months ago
2008
ACM
In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description la...