Sciweavers

11716 search results - page 301 / 2344
» Computable symbolic dynamics
Sort
View
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...
WIMOB
2007
IEEE
16 years 29 days 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 26 days 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
GLOBECOM
2006
IEEE
16 years 22 days 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...
LICS
2006
IEEE
16 years 21 days 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