Sciweavers

53 search results - page 4 / 11
» amire 2005
Sort
View
ICIP
2005
IEEE
14 years 1 months ago
Low complexity resolution progressive image coding algorithm: progres (progressive resolution decompression)
A very fast, low complexity algorithm for resolution scalable and random access decoding is presented. The algorithm avoids the multiple passes of bit-plane coding for speed impro...
Yushin Cho, William A. Pearlman, Amir Said
NOLISP
2005
Springer
14 years 1 months ago
The COST-277 European Action: An Overview
This paper summarizes the rationale for proposing the COST-277 “nonlinear speech processing” action, and the work done during these last four years. In addition, future perspec...
Marcos Faúndez-Zanuy, Unto Laine, Gernot Ku...
TACAS
2005
Springer
78views Algorithms» more  TACAS 2005»
14 years 1 months ago
Separating Fairness and Well-Foundedness for the Analysis of Fair Discrete Systems
Fair discrete systems (FDSs) are a computational model of concurrent programs where fairness assumptions are specified in terms of sets of states. The analysis of fair discrete sy...
Amir Pnueli, Andreas Podelski, Andrey Rybalchenko
FORMATS
2005
Springer
14 years 1 months ago
Real Time Temporal Logic: Past, Present, Future
This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...
Oded Maler, Dejan Nickovic, Amir Pnueli
STOC
2005
ACM
132views Algorithms» more  STOC 2005»
14 years 8 months ago
Locally decodable codes with 2 queries and polynomial identity testing for depth 3 circuits
In this work we study two, seemingly unrelated, notions. Locally Decodable Codes (LDCs) are codes that allow the recovery of each message bit from a constant number of entries of ...
Zeev Dvir, Amir Shpilka