Sciweavers

1825 search results - page 271 / 365
» Local Dimensionality Reduction
Sort
View
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
16 years 24 days 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
16 years 23 days 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»
16 years 20 days 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
16 years 20 days 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
16 years 16 days 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...