Sciweavers

14779 search results - page 2638 / 2956
» On Ultrametric Algorithmic Information
Sort
View
NFM
2011
223views Formal Methods» more  NFM 2011»
15 years 1 months ago
Generating Data Race Witnesses by an SMT-Based Analysis
Abstract. Data race is one of the most dangerous errors in multithreaded programming, and despite intensive studies, it remains a notorious cause of failures in concurrent systems....
Mahmoud Said, Chao Wang, Zijiang Yang, Karem Sakal...
PPNA
2011
15 years 1 months ago
LiquidStream - network dependent dynamic P2P live streaming
A successful P2P live streaming system must achieve high uploading bandwidth utilization, fast stream distribution, fair aggregate bandwidth distribution among participating nodes,...
Nikolaos Efthymiopoulos, Athanasios Christakidis, ...
TCBB
2011
15 years 1 months ago
Ensemble Learning with Active Example Selection for Imbalanced Biomedical Data Classification
—In biomedical data, the imbalanced data problem occurs frequently and causes poor prediction performance for minority classes. It is because the trained classifiers are mostly d...
Sangyoon Oh, Min Su Lee, Byoung-Tak Zhang
TDSC
2011
15 years 1 months ago
Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems
Abstract— We present on-line tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults and network parti...
Marco Serafini, Péter Bokor, Neeraj Suri, J...
TNN
2011
126views more  TNN 2011»
15 years 1 months ago
Video Time Encoding Machines
—We investigate architectures for time encoding and time decoding of visual stimuli such as natural and synthetic video streams (movies, animation). The architecture for time enc...
Aurel A. Lazar, Eftychios A. Pnevmatikakis
« Prev « First page 2638 / 2956 Last » Next »