Sciweavers

10819 search results - page 376 / 2164
» Addition and multiplication of sets
Sort
View
PODC
2010
ACM
15 years 10 months ago
The multiplicative power of consensus numbers
: The Borowsky-Gafni (BG) simulation algorithm is a powerful reduction algorithm that shows that t-resilience of decision tasks can be fully characterized in terms of wait-freedom....
Damien Imbs, Michel Raynal
BMCBI
2006
104views more  BMCBI 2006»
15 years 6 months ago
SinicView: A visualization environment for comparisons of multiple nucleotide sequence alignment tools
Background: Deluged by the rate and complexity of completed genomic sequences, the need to align longer sequences becomes more urgent, and many more tools have thus been developed...
Arthur Chun-Chieh Shih, D. T. Lee, Laurent Lin, Ch...
ICIP
2004
IEEE
16 years 8 months ago
Virtual view synthesis through linear processing without geometry
This paper presents a new approach for virtual view synthesis that does not require any information of scene geometry. Our approach first generates multiple virtual views at the s...
Akira Kubota, Kiyoharu Aizawa, Tsuhan Chen
HPCA
2003
IEEE
16 years 7 months ago
TCP: Tag Correlating Prefetchers
Although caches for decades have been the backbone of the memory system, the speed gap between CPU and main memory suggests their augmentation with prefetching mechanisms. Recentl...
Zhigang Hu, Margaret Martonosi, Stefanos Kaxiras
STACS
2009
Springer
16 years 1 months ago
Strong Completeness of Coalgebraic Modal Logics
ABSTRACT. Canonical models are of central importance in modal logic, in particular as they witness strong completeness and hence compactness. While the canonical model construction...
Lutz Schröder, Dirk Pattinson