1074 search results - page 112 / 215 » An ASM-Characterization of a Class of Distributed Algorithms |
134
click to vote
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
146
Voted
CSDA
2010
15 years 3 months ago
2010
We consider mixtures of parametric densities on the positive reals with a normalized generalized gamma process (Brix, 1999) as mixing measure. This class of mixtures encompasses t...
123
Voted
TIT
2008
15 years 3 months ago
2008
The problem of predicting a sequence x ; x ; . . . generated by a discrete source with unknown statistics is considered. Each letter x is predicted using the information on the wor...
132
Voted
DAS
2008
Springer
15 years 5 months ago
2008
Springer
We describe experimental results for unsupervised recognition of the textual contents of book-images using fully automatic mutual-entropy-based model adaptation. Each experiment s...
131
click to vote
DAS
2010
Springer
15 years 8 months ago
2010
Springer
Whole-book recognition is a document image analysis strategy that operates on the complete set of a book’s page images, attempting to improve accuracy by automatic unsupervised ...