5456 search results - page 763 / 1092 » General Equilibrium Theory |
178
click to vote
CAISE
2004
Springer
16 years 3 days ago
2004
Springer
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) ...
158
click to vote
CAV
2004
Springer
16 years 3 days ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...
146
click to vote
COLT
2004
Springer
16 years 3 days ago
2004
Springer
We study the properties of the Minimum Description Length principle for sequence prediction, considering a two-part MDL estimator which is chosen from a countable class of models....
184
click to vote
CONCUR
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
173
click to vote
DAGM
2004
Springer
16 years 3 days ago
2004
Springer
We consider the general problem of learning from labeled and unlabeled data. Given a set of points, some of them are labeled, and the remaining points are unlabeled. The goal is to...