Sciweavers

6506 search results - page 1124 / 1302
» Algorithmic models for sensor networks
Sort
View
TASE
2009
IEEE
15 years 5 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
ISNN
2009
Springer
15 years 4 months ago
Use of Ensemble Based on GA for Imbalance Problem
In real-world applications, it has been observed that class imbalance (significant differences in class prior probabilities) may produce an important deterioration of the classifie...
Laura Cleofas, Rosa Maria Valdovinos, Vicente Garc...
IWCMC
2009
ACM
15 years 4 months ago
A cognitive radio system for home theatre "5+1 audio" surround applications
This paper presents the application of cognitive algorithm for a stream diffusion in home theatre “5+1 audio” surround applications. We develop a wavelet-based method to effic...
Valeria Orani, Vlad Popescu, Maurizio Murroni
IWNAS
2008
IEEE
15 years 4 months ago
Storage Aware Resource Allocation for Grid Data Streaming Pipelines
Data streaming applications, usually composed with sequential/parallel tasks in a data pipeline form, bring new challenges to task scheduling and resource allocation in grid envir...
Wen Zhang, Junwei Cao, Yisheng Zhong, Lianchen Liu...
INFOCOM
2007
IEEE
15 years 4 months ago
On Optimal Physical Carrier Sensing: Theoretical Analysis and Protocol Design
— Traditional Physical Carrier Sensing (PCS), which aims at eliminating hidden terminals in wireless networks, causes too many exposed terminals and deteriorates the throughput p...
Yanfeng Zhu, Qian Zhang, Zhisheng Niu, Jing Zhu
« Prev « First page 1124 / 1302 Last » Next »