3179 search results - page 223 / 636 » Applications of PCF Theory |
AAMAS
2011
Springer
13 years 5 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...
AI
2011
Springer
13 years 5 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 ...
CORR
2012
Springer
12 years 6 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...
SOFSEM
2012
Springer
12 years 6 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...
JMLR
2012
12 years 25 days 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...