2296 search results - page 325 / 460 » The Expressive Power of Synchronizations |
154
click to vote
IJFCS
2006
15 years 4 months ago
2006
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...
172
click to vote
ENTCS
2007
15 years 4 months ago
2007
In this paper, we present a term rewriting based library for manipulating Java bytecode. We define a mapping from bytecode programs to algebraic terms, and we use Tom, an extensi...
153
click to vote
JACM
2007
15 years 4 months ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...
120
click to vote
BMCBI
2005
15 years 4 months ago
2005
Background: One important application of microarray experiments is to identify differentially expressed genes. Often, small and negative expression levels were clipped-off to be e...
145
click to vote
TWC
2011
14 years 11 months ago
2011
Most of the existing literature on cooperative relay networks has focused on frequency– nonselective channels or frequency–selective channels with multi–carrier transmission...