688 search results - page 53 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
SIAMSC
2008
13 years 7 months ago
2008
Many important physiological processes operate at time and space scales far beyond those accessible to atom-realistic simulations, and yet discrete stochastic rather than continuum...
ICCAD
1994
IEEE
13 years 12 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
MICAI
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents a new method for the verification of the correct pronunciation of spoken words. This process is based on speech recognition technology. It can be particularly ...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Due to the high performance of recent computer graphics hardware, 3D CG and CG animations have become in great demand for various applications. Many 3D models have already been cr...
APN
1993
Springer
13 years 12 months ago
1993
Springer
This paper introduces an efficient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with ...