344 search results - page 21 / 69 » Some Theorems We Should Prove |
175
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
169
click to vote
APLAS
2008
ACM
15 years 8 months ago
2008
ACM
We define a small-step operational semantics for the ECMAScript standard language corresponding to JavaScript, as a basis for analyzing security properties of web applications and ...
147
click to vote
JMLR
2010
15 years 28 days ago
2010
In this paper, we study the problem of learning a matrix W from a set of linear measurements. Our formulation consists in solving an optimization problem which involves regulariza...
154
click to vote
LPAR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Matching is a basic operation extensively used in computation. Second-order matching, in particular, provides an adequate environment for expressing program transformatio...
186
click to vote
COMGEO
2012
ACM
14 years 1 months ago
2012
ACM
The problem of reconstructing a region from a set of sample points is common in many geometric applications, including computer vision. It is very helpful to be able to guarantee ...