20294 search results - page 173 / 4059 » Algorithmic Information Theory |
136
click to vote
CADE
2003
Springer
16 years 5 months ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...
146
click to vote
IDA
2002
Springer
15 years 4 months ago
2002
Springer
This paper introduces a strategy for training ensemble classifiers by analysing boosting within margin theory. We present a bound on the generalisation error of ensembled classifi...
120
click to vote
AAAI
1998
15 years 6 months ago
1998
We consider computational issues in combining logical knowledge bases represented by their characteristic models; in particular, we study taking their logical intersection. We pre...
123
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Multitasking in user behavior can be represented along a continuum in terms of the time spent on one task before switching to another. In this paper, we present a theory of behavi...
125
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
a growing need to study abstract problems in distributed multi-agent systems in a systematic way, as well as to provide a qualitative mathematical framework in which to compare po...