1055 search results - page 105 / 211 » Enumerations in computable structure theory |
127
click to vote
CHI
2007
ACM
16 years 4 months ago
2007
ACM
Visual search is an important part of human-computer interaction. It is critical that we build theory about how people visually search displays in order to better support the user...
157
click to vote
AGP
1999
IEEE
15 years 8 months ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
123
click to vote
JMLR
2002
15 years 4 months ago
2002
We extend the VC theory of statistical learning to data dependent spaces of classifiers. This theory can be viewed as a decomposition of classifier design into two components; the...
141
click to vote
SAGT
2010
Springer
15 years 2 months ago
2010
Springer
A key solution concept in cooperative game theory is the core. The core of an expense sharing game contains stable allocations of the total cost to the participating players, such ...
133
click to vote
ICCV
1999
IEEE
16 years 6 months ago
1999
IEEE
This paper presents a control structure for general purpose image understanding that addresses both the high level of uncertainty in local hypotheses and the computational complex...