5863 search results - page 123 / 1173 » Calculating Functional Programs |
109
click to vote
DAGSTUHL
2006
15 years 3 months ago
2006
We estimate Fourier coefficients of a Boolean function which has recently been introduced in the study of read-once branching programs. Our bound implies that this function has an...
ICTAC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Differing from [6] this paper reduces non-linear ranking function discovering for polynomial programs to semi-algebraic system solving, and demonstrates how to apply the...
116
click to vote
STOC
1991
ACM
15 years 6 months ago
1991
ACM
The study of self-testing/correcting programs was introduced in [8] in order to allow one to use program P to compute function f without trusting that P works correctly. A self-te...
115
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
129
Voted
ECCV
2000
Springer
16 years 4 months ago
2000
Springer
This paper focuses on matching 1D structures by variational methods. We provide rigorous rules for the construction of the cost function, on the basis of an analysis of properties ...