Sciweavers

299 search results - page 44 / 60
» Streaming Tree Transducers
Sort
View
CORR
2011
Springer
176views Education» more  CORR 2011»
13 years 2 months ago
Quantitative Synthesis for Concurrent Programs
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...
STOC
2005
ACM
184views Algorithms» more  STOC 2005»
14 years 1 months ago
Coresets in dynamic geometric data streams
A dynamic geometric data stream consists of a sequence of m insert/delete operations of points from the discrete space {1, . . . , ∆}d [26]. We develop streaming (1 + )-approxim...
Gereon Frahling, Christian Sohler
MMSEC
2005
ACM
114views Multimedia» more  MMSEC 2005»
14 years 1 months ago
Watermarking of MPEG-2 video in compressed domain using VLC mapping
In this work we propose a new algorithm for fragile, high capacity yet file-size preserving watermarking of MPEG-2 streams. Watermarking is done entirely in the compressed domain,...
Bijan G. Mobasseri, Michael P. Marcinak
ICDE
2006
IEEE
167views Database» more  ICDE 2006»
14 years 8 months ago
Better Burst Detection
A burst is a large number of events occurring within a certain time window. As an unusual activity, it's a noteworthy phenomenon in many natural and social processes. Many da...
Xin Zhang, Dennis Shasha
IWAN
2000
Springer
13 years 11 months ago
An Approach for Heterogeneous Video Multicast Using Active Networking
Abstract. We present a framework for heterogeneous video multicasting, considering an active network in which active nodes can filter the video stream to satisfy different quality ...
Héctor Akamine, Naoki Wakamiya, Masayuki Mu...