11160 search results - page 1976 / 2232 » Incompleteness in a General Setting |
147
click to vote
SSS
2009
Springer
16 years 1 months ago
2009
Springer
: The Borowsky-Gafni (BG) simulation algorithm is a powerful tool that allows a set of t + 1 asynchronous sequential processes to wait-free simulate (i.e., despite the crash of up ...
182
click to vote
ACMACE
2009
ACM
16 years 1 months ago
2009
ACM
Fantasy games, in which players compete to correctly predict realworld outcomes in sports, entertainment, and politics, have grown in popularity and now represent a significant po...
190
click to vote
CASES
2009
ACM
16 years 1 months ago
2009
ACM
Embedded processors have become increasingly complex, resulting in variable execution behavior and reduced timing predictability. On such processors, safe timing specifications e...
242
click to vote
CF
2009
ACM
16 years 1 months ago
2009
ACM
The advent of new matrix-valued magnetic resonance imaging modalities such as Diffusion Tensor Imaging (DTI) requires extensive computational acceleration. Computational accelera...
162
click to vote
DOCENG
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we extend previous work on the automatic structuring of medical documents using content analysis. Our long-term objective is to take advantage of specific rhetoric ...