Sciweavers

4066 search results - page 307 / 814
» Almost Complete Sets
Sort
View
JLP
1998
147views more  JLP 1998»
15 years 6 months ago
Automated Reasoning with a Constraint-Based Metainterpreter
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
Henning Christiansen
JSYML
1998
51views more  JSYML 1998»
15 years 6 months ago
Compactness of Loeb Spaces
In this paper we show that the compactness of a Loeb space depends on its cardinality, the nonstandard universe it belongs to and the underlying model of set theory we live in. In...
Renling Jin, Saharon Shelah
CORR
2010
Springer
129views Education» more  CORR 2010»
15 years 6 months ago
sTeXIDE: An Integrated Development Environment for sTeX Collections
Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of STEX documents (GenCS), we identified a set of co...
Constantin Jucovschi, Michael Kohlhase
181
Voted
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 6 months ago
Online Learning: Random Averages, Combinatorial Parameters, and Learnability
We develop a theory of online learning by defining several complexity measures. Among them are analogues of Rademacher complexity, covering numbers and fatshattering dimension fro...
Alexander Rakhlin, Karthik Sridharan, Ambuj Tewari
CORR
2010
Springer
79views Education» more  CORR 2010»
15 years 5 months ago
Sampling of operators
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...
Götz E. Pfander