15416 search results - page 158 / 3084 » Embeddings of Computable Structures |
131
click to vote
GG
2004
Springer
15 years 9 months ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
114
click to vote
IJES
2008
15 years 4 months ago
2008
: At Leiden Embedded Research Center (LERC), we are building a tool chain called Compaan/Laura that allows us to map rapidly and efficiently signal processing applications written ...
140
click to vote
CIE
2005
Springer
15 years 4 months ago
2005
Springer
The attempt of this paper is to describe and analyze the formalisms of pervasive games and pervasive gaming (PG). As the title indicates, PG consists of atomic entities that never...
206
click to vote
NPL
2011
14 years 7 months ago
2011
The accuracy of a model to forecast a time series diminishes as the prediction horizon increases, in particular when the prediction is carried out recursively. Such decay is faster...
132
click to vote
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
This paper proposes systematic lossy error protection of video waveforms using multiple embedded Wyner-Ziv video descriptions. A video signal transmitted over an error-prone chann...