274 search results - page 30 / 55 » A Functional Language for Logarithmic Space |
117
Voted
ECIR
2009
Springer
16 years 21 days ago
2009
Springer
Probabilistic retrieval models usually rank documents based on a scalar quantity. However, such models lack any estimate for the uncertainty associated with a document’s rank. Fu...
161
Voted
BMVC
2010
15 years 1 months ago
2010
Gaussian processes have been widely used as a method for inferring the pose of articulated bodies directly from image data. While able to model complex non-linear functions, they ...
131
Voted
ICFP
1998
ACM
15 years 7 months ago
1998
ACM
If the continuations in functional data-structure-generating programs are made explicit and represented as records, they can be recycled." Once they have served their purpose...
127
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
122
click to vote
CORR
2010
Springer
15 years 27 days ago
2010
Springer
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...