3328 search results - page 164 / 666 » On Plateaued Functions and Their Constructions |
152
click to vote
WSC
2004
15 years 7 months ago
2004
We consider the steady state output analysis problem for a process that satisfies a functional central limit theorem. We construct asymptotically valid confidence intervals for th...
162
click to vote
IJCAI
1993
15 years 7 months ago
1993
SEQUEL is a new-generation functional programming language, which allows the specification of types in a notation based on the sequent calculus. The sequent calculus notation suff...
152
click to vote
ENTCS
2006
15 years 6 months ago
2006
Monads are by now well-established as programming construct in functional languages. Recently, the notion of "Arrow" was introduced by Hughes as an extension, not with o...
141
click to vote
JSYML
2008
15 years 6 months ago
2008
In this paper we show that there is a pair of superhigh r.e. degree that forms a minimal pair. An analysis of the proof shows that a critical ingredient is the growth rates of cert...
159
click to vote
MLQ
2008
15 years 6 months ago
2008
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...