5499 search results - page 765 / 1100 » Generalized Rewrite Theories |
174
Voted
CAV
2004
Springer
16 years 28 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...
176
click to vote
COLT
2004
Springer
16 years 28 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....
211
Voted
CONCUR
2004
Springer
16 years 28 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...
191
Voted
DAGM
2004
Springer
16 years 28 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...
171
click to vote
ECCV
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. One of the most difficult aspects of visual object tracking is the handling of occlusions and target appearance changes due to variations in illumination and viewing dir...