11215 search results - page 202 / 2243 » Skeleton - Easy Simulation System |
FORMATS
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
In this paper we model and simulate a biological system describing the evolution of cancer stem cells into tumors. Starting from some basic hypotheses about the behavior of these ...
FOSSACS
2010
Springer
14 years 5 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-...
MMM
2006
Springer
14 years 4 months ago
2006
Springer
We present a method for real-time simulation of 3dimensional fire inspired by an old mechanical trick known as the “silk torch”. Motivated by the proven illusive effect of si...
ISER
1989
Springer
14 years 2 months ago
1989
Springer
Many future applications of robotic systems will require manipulators to operate from moving vehicles. Such vehicles will be compliant in comparison to the rigid bases on which mo...