4702 search results - page 194 / 941 » How to Copyright a Function |
124
Voted
SIMVIS
2003
15 years 6 months ago
2003
This paper generalizes adaptive subdivision algorithms by introducing an applicationdependent Degree of Interest function. Therefore, geometry-related as well as geometry-independ...
107
Voted
ACL
1996
15 years 6 months ago
1996
We extend the centering model for the resolution of intia-sentential anaphora and specify how to handle complex sentences. An empirical evaluation indicates that the functional in...
128
click to vote
MLQ
2008
15 years 4 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...
134
click to vote
APAL
2000
15 years 4 months ago
2000
It is shown how to restrict recursion on notation in all finite types so as to characterize the polynomial time computable functions. The restrictions are obtained by using a rami...
128
click to vote
ENTCS
2000
15 years 4 months ago
2000
We describe how to embed a simple typed functional logic programming language in Haskell. The embedding is a natural extension of the Prolog embedding by Seres and Spivey [16]. To...