Sciweavers

1046 search results - page 18 / 210
» Scalable distributed source coding
Sort
View
DEXA
2005
Springer
124views Database» more  DEXA 2005»
14 years 3 months ago
Scalable Distributed Aggregate Computations Through Collaboration
Computing aggregates over distributed data sets constitutes an interesting class of distributed queries. Recent advances in peer-to-peer discovery of data sources and query process...
Leonidas Galanis, David J. DeWitt
ICSE
2004
IEEE-ACM
14 years 10 months ago
Assume-Guarantee Verification of Source Code with Design-Level Assumptions
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamie...
SEMWEB
2001
Springer
14 years 2 months ago
A Scalable Framework for the Interoperation of Information Sources
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
Prasenjit Mitra, Gio Wiederhold, Stefan Decker
LREC
2008
117views Education» more  LREC 2008»
13 years 11 months ago
Semantic Vectors: a Scalable Open Source Package and Online Technology Management Application
This paper describes the open source SemanticVectors package that efficiently creates semantic vectors for words and documents from a corpus of free text articles. We believe that...
Dominic Widdows, Kathleen Ferraro
ICIP
2001
IEEE
14 years 11 months ago
Joint source-channel coding for scalable video over DS-CDMA multipath fading channels
In this paper, we extend our previous work onjoint source-channel coding to scalablevideo transmissionover wireless direct-sequence code-division-multiple-access(DS-CDMA)multipath...
Lisimachos P. Kondi, Stella N. Batalama, Dimitrios...