300 search results - page 19 / 60 » The Extension Theorem |
102
Voted
ESOP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem prover. It provides a proving infrastructure for reasoning about programming language calculi in...
90
Voted
IJON
2006
15 years 20 days ago
2006
We present a framework for efficient extrapolation of reduced rank approximations, graph kernels, and locally linear embeddings (LLE) to unseen data. We also present a principled ...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. The classical sampling theorem for bandlimited functions has recently been generalized to apply to so-called bandlimited operators, that is, to operators with band-limite...
135
Voted
ENTCS
2006
15 years 21 days ago
2006
We study properties of functors on categories of sets (classes) together with set (class) functions. In particular, we investigate the notion of inclusion preserving functor, and ...
122
click to vote
AISC
2006
Springer
15 years 4 months ago
2006
Springer
We present a search engine for mathematical formulae. The MathWebSearch system harvests the web for content representations (currently MathML and OpenMath) of formulae and indexes ...