500 search results - page 75 / 100 » Universality and Cellular Automata |
125
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
We observe that pushdown tree automata (PTAs) known in the literature cannot express combinations of branching and pushdown properties. This is because a PTA processes the children...
184
click to vote
IFIP
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
161
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper gives an overview of results of the project "Beyond Timed Automata" carried out in the Collaborative Research Center AVACS (Automatic Verification and Analysi...
203
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
Fractional frequency reuse (FFR) is an interference management technique well-suited to OFDMAbased cellular networks wherein the cells are partitioned into spatial regions with di...
193
click to vote
RECOMB
2007
Springer
16 years 3 days ago
2007
Springer
Publicly-available data sets provide detailed and large-scale information on multiple types of molecular interaction networks in a number of model organisms. These multi-modal univ...