59 search results - page 6 / 12 » Simulations of Weighted Tree Automata |
77
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
For several semirings S, two weighted finite automata with multiplicities in S are equivalent if and only if they can be connected by a chain of simulations. Such a semiring S is c...
78
Voted
ENTCS
2008
14 years 11 months ago
2008
We propose a new biological framework, spatial networks of hybrid input/output automata (SNHIOA), for the efficient modeling and simulation of excitable-cell tissue. Within this f...
83
Voted
FOSSACS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
100
click to vote
GECCO
2007
Springer
15 years 5 months ago
2007
Springer
We propose that the behaviour of non-linear media can be controlled automatically through coevolutionary systems. By extension, forms of unconventional computing, i.e., massively ...
101
Voted
ICPR
2002
IEEE
15 years 4 months ago
2002
IEEE
Testing for uniformity of multivariate data is the initial step in exploratory pattern analysis. We propose a new uniformity testing method, which first computes the maximum (sta...