3179 search results - page 223 / 636 » Applications of PCF Theory |
169
Voted
AAMAS
2011
Springer
14 years 10 months ago
2011
Springer
The stable marriage problem is a well-known problem of matching men to women so that no man and woman who are not married to each other both prefer each other. Such a problem has a...
140
Voted
AI
2011
Springer
14 years 10 months ago
2011
Springer
Qualitative models are often a useful abstraction of the physical world. Learning qualitative models from numerical data sible way to obtain such an abstraction. We present a new ...
134
Voted
CORR
2012
Springer
13 years 11 months ago
2012
Springer
In this paper we introduce a new type of pattern – a flipping correlation pattern. The flipping patterns are obtained from contrasting the correlations between items at diffe...
154
Voted
SOFSEM
2012
Springer
13 years 11 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
164
Voted
JMLR
2012
13 years 6 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...