Sciweavers

2961 search results - page 441 / 593
» Optimization of tele-immersion codes
Sort
View
113
Voted
WWW
2010
ACM
15 years 10 months ago
Web-scale k-means clustering
We present two modifications to the popular k-means clustering algorithm to address the extreme requirements for latency, scalability, and sparsity encountered in user-facing web...
D. Sculley
165
Voted
TACAS
2010
Springer
342views Algorithms» more  TACAS 2010»
15 years 10 months ago
SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
Janusz Malinowski, Peter Niebert
161
Voted
ISPEC
2009
Springer
15 years 10 months ago
Hash-Based Key Management Schemes for MPEG4-FGS
We propose two symmetric-key management schemes for the encryption of scalable compressed video content. The schemes are applicable to MPEG-4 Fine Grain Scalability video coding. O...
Mohamed Karroumi, Ayoub Massoudi
109
Voted
COMPSAC
2009
IEEE
15 years 10 months ago
An Integrated Framework for Checking Concurrency-Related Programming Errors
Developing concurrent programs is intrinsically difficult. They are subject to programming errors that are not present in traditional sequential programs. Our current work is to ...
Qichang Chen, Liqiang Wang
137
Voted
GLOBECOM
2009
IEEE
15 years 10 months ago
Gaussian MIMO Multi-Receiver Wiretap Channel
Abstract— We consider the Gaussian multiple-input multipleoutput (MIMO) multi-receiver wiretap channel, and derive the secrecy capacity region of this channel for the most genera...
Ersen Ekrem, Sennur Ulukus