921 search results - page 101 / 185 » On Interleaving in Timed Automata |
ACRI
2004
Springer
15 years 3 months ago
2004
Springer
We study herewith the simple threshold cellular automata (CA), as perhaps the simplest broad class of CA with non-additive (i.e., non-linear and non-affine) local update rules. We ...
ALIFE
1999
14 years 11 months ago
1999
tion, structural dissolutionAbstract We constructed a simple evolutionary system, "evoloop," on a deterministic nine-state five-neighbor cellular automata (CA) space by i...
103
click to vote
CASES
2006
ACM
15 years 3 months ago
2006
ACM
Many embedded systems exhibit temporally and behaviorally disjoint behavior slices. When such behaviors are captured by state machines, the current design flow will capture it as ...
ECAI
2010
Springer
15 years 2 days ago
2010
Springer
AI Planning is concerned with the selection of actions towards achieving a goal. Research on cellular automata (CA) is concerned with the question how global behaviours arise from ...
107
click to vote
IANDC
2008
14 years 12 months ago
2008
In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problem...