Sciweavers

27913 search results - page 470 / 5583
» Simulation
Sort
View
JVCA
2010
105views more  JVCA 2010»
15 years 2 months ago
Conditional stochastic simulation for character animation
In a context of interactive applications, adapting motion capture data to new situations or producing variants of them are known as non trivial tasks. We propose an original metho...
N. Courty, Anne Cuzol
FORMATS
2010
Springer
15 years 2 months ago
Simulation and Bisimulation for Probabilistic Timed Automata
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. Simulation and bisimulation relations are widely-studied in the c...
Jeremy Sproston, Angelo Troina
NMA
2010
15 years 2 months ago
Modeling of the SET and RESET Process in Bipolar Resistive Oxide-Based Memory Using Monte Carlo Simulations
A stochastic model of the resistive switching mechanism in bipolar oxide-based resistive random access memory (RRAM) is presented. The distribution of electron occupation probabili...
Alexander Makarov, Viktor Sverdlov, Siegfried Selb...
ICASSP
2011
IEEE
14 years 8 months ago
A stochastic compartmental approach to modeling and simulation of cancer spheroid formation and evolution
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 ...
Mónica F. Bugallo, Shishir Dash, Galina Bot...
DAC
2004
ACM
16 years 5 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening