620 search results - page 54 / 124 » Algorithms and computations on cellular automata |
101
click to vote
CAV
1993
Springer
15 years 4 months ago
1993
Springer
Abstract. This paper presents a scalable approach to reasoning formally about distributed algorithms. It uses results about I O automata to extract a set of proof obligations for s...
116
Voted
NDSS
2008
IEEE
15 years 7 months ago
2008
IEEE
Third Generation (3G) cellular networks utilize timevarying and location-dependent channel conditions to provide broadband services. They employ opportunistic scheduling to effic...
113
click to vote
AB
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Among all the modeling approaches dedicated to cellular biology, differential algebra is particularly related to the well-established one based on nonlinear differential ...
223
Voted
PERVASIVE
2011
Springer
14 years 3 months ago
2011
Springer
People spend most of their time at a few key locations, such as home and work. Being able to identify how the movements of people cluster around these “important places” is cru...
134
click to vote
COCO
2010
Springer
15 years 4 months ago
2010
Springer
—We show that every language accepted by a nondeterministic auxiliary pushdown automaton in polynomial time (that is, every language in SAC1 = Log(CFL)) can be accepted by a symm...