Sciweavers

3359 search results - page 86 / 672
» A Simplified Idea Algorithm
Sort
View
GLOBECOM
2006
IEEE
15 years 8 months ago
Playback Adaptation with Transport-Protocol Awareness for Wireless Video Streaming
— This paper introduces a new idea for implementing playback adaptation algorithms suitable for video streaming applications in wireless IP networks. The proposed algorithm depen...
Antonios Argyriou, Vijay K. Madisetti
223
Voted
POPL
2009
ACM
16 years 3 months ago
A calculus of atomic actions
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...
Tayfun Elmas, Shaz Qadeer, Serdar Tasiran
EURODAC
1994
IEEE
209views VHDL» more  EURODAC 1994»
15 years 6 months ago
MOS VLSI circuit simulation by hardware accelerator using semi-natural models
- The accelerator is destined to circuit-level simulation of digital and analog/digital MOS VLSI'c containing of up to 100 thousand transistors (with 16 Mb RAM host-machine). ...
Victor V. Denisenko
PADL
2000
Springer
15 years 5 months ago
Transformation-by-Example for XML
Abstract. xml is a language for describing markup languages for structured data. A growing number of applications that process xml documents are transformers, i.e., programs that c...
Shriram Krishnamurthi, Kathryn E. Gray, Paul T. Gr...
ICDAR
2007
IEEE
15 years 8 months ago
Quantile Linear Algorithm for Robust Binarization of Digitalized Letters
We describe a threshold-based local algorithm for image binarization. The main idea is to compute a transition energy using pixel value differences taken from a neighborhood aroun...
M. Ramírez, Ernesto Tapia, Marco Block, Ra&...