Sciweavers

11716 search results - page 99 / 2344
» Computable symbolic dynamics
Sort
View
ISMAR
2003
IEEE
15 years 11 months ago
Augmented Reality Kanji Learning
ARToolKit programmers are familiar with the kanji symbols supplied with the distribution. Most of them have do not know what these kanji symbols mean. We propose a piece of educat...
Daniel Wagner, István Barakonyi
DCC
2002
IEEE
15 years 11 months ago
Data Compression of Correlated Non-Binary Sources Using Punctured Turbo Codes
We consider the case of two corr elated non-binary sources. Data compression is achieved by transforming the sequences of non-binary symbols into sequences of bits and then using ...
Ying Zhao, Javier Garcia-Frias
APLAS
2007
ACM
15 years 10 months ago
A Trace Based Bisimulation for the Spi Calculus: An Extended Abstract
: An Extended Abstract Alwen Tiu Computer Sciences Laboratory Australian National University Abstract. A notion of open bisimulation is formulated for the spi calculus, an extensio...
Alwen Tiu
ADT
2005
15 years 6 months ago
Bounds on mutual information for simple codes using information combining
For coded transmission over a memoryless channel, two kinds of mutual information are considered: the mutual information between a code symbol and its noisy observation and the ove...
Ingmar Land, Simon Huettinger, Peter A. Hoeher, Jo...
HIPC
2005
Springer
15 years 11 months ago
Data and Computation Abstractions for Dynamic and Irregular Computations
Sriram Krishnamoorthy, Jarek Nieplocha, P. Sadayap...