1687 search results - page 132 / 338 » Light Functional Interpretation |
149
click to vote
ALT
2003
Springer
16 years 3 months ago
2003
Springer
Inductive inference is concerned with algorithmic learning of recursive functions. In the model of learning in the limit a learner successful for a class of recursive functions mus...
159
click to vote
IOR
2008
15 years 6 months ago
2008
Estimating the arrival rate function of a non-homogeneous Poisson process based on observed arrival data is a problem naturally arising in many applications. Cubic spline function...
134
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
This paper explains how the high-level treatment of datatypes in functional languages--using features like constructor functions and pattern matching--can be made to coexist with ...
162
click to vote
SIGECOM
2010
ACM
15 years 11 months ago
2010
ACM
We explore the striking mathematical connections that exist between market scoring rules, cost function based prediction markets, and no-regret learning. We first show that any c...
164
click to vote
CGF
2008
15 years 6 months ago
2008
Simulating the in-water ocean light field is a daunting task. Ocean waters are one of the richest participating media, where light interacts not only with water molecules, but wit...