1071 search results - page 119 / 215 » The Calculus of Algebraic Constructions |
160
Voted
ICIP
2005
IEEE
16 years 7 months ago
2005
IEEE
We propose an extension of the conformal (or geodesic) active contour framework in which the conformal factor depends not only on the position of the curve but also on the directi...
130
click to vote
TPHOL
2007
IEEE
16 years 10 days ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...
283
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Krawtchouk polynomials appear in a variety of contexts, most notably as orthogonal polynomials and in coding theory via the Krawtchouk transform. We present an operator calculus fo...
143
click to vote
TABLEAUX
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. linTAP is a tableau prover for the multiplicative and exponential fragment M?LL of Girards linear logic. It proves the validity of a given formula by constructing an anal...
172
click to vote
MPC
1995
Springer
15 years 9 months ago
1995
Springer
Abstract. This paper is about exceptions handling using classical techniques of program extraction. We propose an impredicative formalization in the calculus of constructions and w...