Sciweavers

2623 search results - page 67 / 525
» Universal Learning Theory
Sort
View
CLEF
2009
Springer
13 years 8 months ago
The University of Amsterdam's Concept Detection System at ImageCLEF 2009
Our group within the University of Amsterdam participated in the large-scale visual concept detection task of ImageCLEF 2009. Our experiments focus on increasing the robustness of...
Koen E. A. van de Sande, Theo Gevers, Arnold W. M....
CORR
2010
Springer
156views Education» more  CORR 2010»
13 years 10 months ago
On CSP and the Algebraic Theory of Effects
We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors and effect deconstructors; it also provides a link wit...
Rob J. van Glabbeek, Gordon D. Plotkin
MUC
1991
14 years 1 months ago
University of Massachusetts: description of the CIRCUS system as used for MUC-3
ind this work was to extract a relatively abstract level of information from each sentence , using only a limited vocabulary that was hand-crafted to handle a restricted set of tar...
Wendy G. Lehnert, Claire Cardie, David Fisher, Ell...
APAL
2005
83views more  APAL 2005»
13 years 10 months ago
Reflections on reflections in explicit mathematics
We give a broad discussion of reflection principles in explicit mathematics, thereby addressing various kinds of universe existence principles. The proof-theoretic strength of the...
Gerhard Jäger, Thomas Strahm
LICS
1998
IEEE
14 years 2 months ago
On Proofs about Threshold Circuits and Counting Hierarchies
Hierarchies (Extended Abstract) Jan Johannsen Chris Pollett Department of Mathematics Department of Computer Science University of California, San Diego Boston University La Jolla,...
Jan Johannsen, Chris Pollett