1564 search results - page 58 / 313 » Extensions to the Estimation Calculus |
131
Voted
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
In this paper a method for shape estimation and structure extension of a surface using information from specularities is proposed. The structure of the scene is obtained from an i...
180
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
145
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
138
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
116
click to vote
CSL
2007
Springer
15 years 11 months ago
2007
Springer
Models of the untyped λ-calculus may be defined either as applicative structures satisfying a bunch of first order axioms, known as “λ-models”, or as (structures arising fr...