5499 search results - page 129 / 1100 » Generalized Rewrite Theories |
141
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We generalize some of the central results in automata theory to the abstraction level of coalgebras and thus lay out the foundations of a universal theory of automata ope...
135
click to vote
FTCIT
2007
15 years 4 months ago
2007
This survey reviews fundamental concepts of multi-user information theory. Starting with typical sequences, the survey builds up knowledge on random coding, binning, superposition...
112
click to vote
MLQ
2000
15 years 4 months ago
2000
It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct tran...
134
click to vote
ECSCW
2011
14 years 4 months ago
2011
There are many theories useful for framing CSCW research and they may in principle be irreducible to a single theory. CSCW research explores questions involving numerous distinctâ€...
141
Voted
CVPR
2010
IEEE
16 years 21 days ago
2010
IEEE
Multiplexing is a common technique for encoding highdimensional image data into a single, two-dimensional image. Examples of spatial multiplexing include Bayer patterns to capture...