725 search results - page 19 / 145 » Descriptive Set Theory of Families of Small Sets |
DAGSTUHL
2001
15 years 3 months ago
2001
We give two finite axiomatizations of indexed inductive-recursive definitions in intuitionistic type theory. They extend our previous finite axiomatizations of inductive-recursive...
151
click to vote
JMLR
2012
13 years 4 months ago
2012
We study the prevalent problem when a test distribution differs from the training distribution. We consider a setting where our training set consists of a small number of sample d...
112
click to vote
AAAI
2000
15 years 3 months ago
2000
Systems that learn from examples often express the learned concept in the form of a disjunctive description. Disjuncts that correctly classify few training examples are known as s...
ACL
1994
15 years 3 months ago
1994
1 We examine the consistency problem for descriptions of trees based on remote dominance, and present a consistency-checking algorithm which is polynomial in the number of nodes in...
129
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: An important problem in genomics is the automatic inference of groups of homologous proteins from pairwise sequence similarities. Several approaches have been proposed...