Sciweavers

2969 search results - page 273 / 594
» A space efficient algorithm for group structure computation
Sort
View
ICIP
2001
IEEE
16 years 6 months ago
Fast algorithms for DCT-domain video transcoding
Video transcoding is an efficient way for. rate adaptation and format conversion in various networked video applications. Many transcoder architectures have been proposed to achie...
Chia-Wen Lin, Yuh-Ruey Lee
ICML
2009
IEEE
16 years 5 months ago
Exploiting sparse Markov and covariance structure in multiresolution models
We consider Gaussian multiresolution (MR) models in which coarser, hidden variables serve to capture statistical dependencies among the finest scale variables. Tree-structured MR ...
Myung Jin Choi, Venkat Chandrasekaran, Alan S. Wil...
FMCAD
2004
Springer
15 years 8 months ago
Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis
This work presents a memory-efficient All-SAT engine which, given a propositional formula over sets of important and non-important variables, returns the set of all the assignments...
Orna Grumberg, Assaf Schuster, Avi Yadgar
DAC
2004
ACM
16 years 5 months ago
Fast statistical timing analysis handling arbitrary delay correlations
CT An efficient statistical timing analysis algorithm that can handle arbitrary (spatial and structural) causes of delay correlation is described. The algorithm derives the entire ...
Michael Orshansky, Arnab Bandyopadhyay
STACS
2007
Springer
15 years 10 months ago
A Deterministic Algorithm for Summarizing Asynchronous Streams over a Sliding Window
We consider the problem of maintaining aggregates over recent elements of a massive data stream. Motivated by applications involving network data, we consider asynchronous data str...
Costas Busch, Srikanta Tirthapura