Sciweavers

11716 search results - page 301 / 2344
» Computable symbolic dynamics
Sort
View
210
Voted
ICIP
2008
IEEE
16 years 1 months ago
Error resilient JPEG2000 decoding for wireless applications
To improve the JPEG2000 compression standard error resiliency in the wireless environment, the use of ternary MQ arithmetic coders/decoders that are based on the concept of forbid...
Simone Zezza, Maurizio Martina, Guido Masera, Saei...
199
Voted
WIMOB
2007
IEEE
16 years 1 months ago
WLocator: An Indoor Positioning System
— There exists a multitude of location-sensing systems utilizing wireless technology, though varying in cost, coverage and accuracy. In this paper we will introduce WLocator, a s...
Shaun Phillips, Michael Katchabaw, Hanan Lutfiyya
FCT
2007
Springer
16 years 1 months ago
On Notions of Regularity for Data Languages
Abstract. Motivated by considerations in XML theory and model checking, data strings have been introduced as an extension of finite alphabet strings which carry, at each position,...
Henrik Björklund, Thomas Schwentick
163
Voted
GLOBECOM
2006
IEEE
16 years 1 months ago
Reduced Complexity Vector Precoding for the Multiuser Downlink
— We investigate nonlinear precoding techniques for the downlink of multi-user systems from a transmitter equipped with multiple antennas to non-cooperative single antenna mobile...
René Habendorf, Ines Riedel, Gerhard Fettwe...
194
Voted
LICS
2006
IEEE
16 years 1 months ago
Avoiding Determinization
Automata on infinite objects are extensively used in system specification, verification, and synthesis. While some applications of the automata-theoretic approach have been wel...
Orna Kupferman