Sciweavers

4112 search results - page 589 / 823
» Efficient Algorithms for the Spoonerism Problem
Sort
View
ISCAS
2005
IEEE
163views Hardware» more  ISCAS 2005»
16 years 25 days ago
Shot change detection on H.264/AVC compressed video
—This paper deals with the problem of shot-change detection on H.264/AVC compressed video. As H.264/AVC employs several new coding tools, the statistic information of macroblock ...
Wei Zeng, Wen Gao
PCM
2005
Springer
186views Multimedia» more  PCM 2005»
16 years 22 days ago
Directional Lifting-Based Wavelet Transform for Multiple Description Image Coding with Quincunx Segmentation
In this paper, a new multiple description image coding scheme using directional lifting transform is proposed. The basic idea is to divide an image into two descriptions with quinc...
Nan Zhang 0006, Yan Lu, Feng Wu, Baocai Yin
SAT
2005
Springer
123views Hardware» more  SAT 2005»
16 years 21 days ago
Bounded Model Checking with QBF
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...
Nachum Dershowitz, Ziyad Hanna, Jacob Katz
NETGAMES
2004
ACM
16 years 20 days ago
Scalable peer-to-peer networked virtual environment
We propose a fully-distributed peer-to-peer architecture to solve the scalability problem of Networked Virtual Environment in a simple and efficient manner. Our method exploits lo...
Shun-Yun Hu, Guan-Ming Liao
PADS
2003
ACM
16 years 14 days ago
Power-aware State Dissemination in Mobile Distributed Virtual Environments
In distributed simulations, such as multi-player distributed virtual environments (DVE), power consumption traditionally has not been a major design factor. However, emerging batt...
Weidong Shi, Kalyan S. Perumalla, Richard M. Fujim...