2742 search results - page 18 / 549 » Deriving Category Theory from Type Theory |
FOCS
1998
IEEE
14 years 29 days ago
1998
IEEE
We present a higher-order functional notation for polynomial-time computation with arbitrary 0; 1-valued oracle. This provides a linguistic characterization for classes such as np...
FLAIRS
2000
13 years 10 months ago
2000
Thecurrent frameworkfor constructing intelligent tutoring systems(ITS) is to use psychological/pedagogical theories of learning, and encode this knowledgeinto the tutor. However,t...
SYNASC
2006
IEEE
14 years 2 months ago
2006
IEEE
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advan...
LICS
2000
IEEE
14 years 1 months ago
2000
IEEE
We give an axiomatic treatment of fixed-point operators in categories. A notion of iteration operator is defined, embodying the equational properties of iteration theories. We p...
NIPS
2004
2004
Class-size Independent Generalization Analsysis of Some Discriminative Multi-Category Classification
13 years 10 months ago
We consider the problem of deriving class-size independent generalization bounds for some regularized discriminative multi-category classification methods. In particular, we obtai...