Sciweavers

1825 search results - page 271 / 365
» Local Dimensionality Reduction
Sort
View
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
15 years 4 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
OTM
2009
Springer
15 years 4 months ago
CLON: Overlay Networks and Gossip Protocols for Cloud Environments
Although epidemic or gossip-based multicast is a robust and scalable approach to reliable data dissemination, its inherent redundancy results in high resource consumption on both ...
Miguel Matos, António Sousa, José Pe...
ICDE
2008
IEEE
126views Database» more  ICDE 2008»
15 years 4 months ago
Monitoring the evolution of interests in the blogosphere
— We describe blogTrust, an innovative modular and extensible prototype application for monitoring changes in the interests of blogosphere participants. We also propose a new app...
Iraklis Varlamis, Vasilis Vassalos, Antonis Palaio...
ICIP
2008
IEEE
15 years 4 months ago
Understanding and simplifying the structural similarity metric
The structural similarity (SSIM) metric and its multi-scale extension (MS-SSIM) evaluate visual quality with a modied local measure of spatial correlation consisting of three c...
David M. Rouse, Sheila S. Hemami
INFOCOM
2007
IEEE
15 years 4 months ago
Network Coding-Based Broadcast in Mobile Ad-hoc Networks
Abstract— Broadcast operation, which disseminates information network-wide, is very important in multi-hop wireless networks. Due to the broadcast nature of wireless media, not a...
Erran L. Li, Ramachandran Ramjee, Milind M. Buddhi...