371 search results - page 52 / 75 » Pushdown Automata Simulator |
115
click to vote
ICSAP
2010
15 years 5 months ago
2010
— When sensors are redundantly deployed, a subset of sensors should be selected to actively monitor the field (referred to as a "cover"), while the rest of the sensors ...
100
Voted
ACRI
2004
Springer
15 years 5 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 ...
128
Voted
EPK
2006
15 years 3 months ago
2006
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...
87
Voted
ENTCS
2007
15 years 1 months ago
2007
In this paper we introduce the notion of approximate implementations for Probabilistic I/O Automata (PIOA) and develop methods for proving such relationships. We employ a task str...
105
click to vote
ACRI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The knowledge of phenomena connected with pedestrian dynamics is desired in the process of developing public facilities. Nowadays, there is a necessity of creating variou...