4962 search results - page 80 / 993 » Stochastic Model Checking |
BMCBI
2008
13 years 9 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
GLOBECOM
2009
IEEE
14 years 26 days ago
2009
IEEE
Abstract--Node mobility has a direct impact on the performance evaluation of various network mobility protocols. Unfortunately, most of the analysis on mobility protocols used Rand...
TAMC
2009
Springer
14 years 3 months ago
2009
Springer
We show that logical and behavioral equivalence for stochastic Kripke models over general measurable spaces are the same. Usually, this requires some topological assumptions and in...
IJCNN
2006
IEEE
14 years 3 months ago
2006
IEEE
— We propose a modeling framework based on the event-driven paradigm for populations of neurons which interchange messages. Unlike other strategies our approach is focused on the...
ACL
2000
13 years 10 months ago
2000
We present a new approach to stochastic modeling of constraintbased grammars that is based on loglinear models and uses EM for estimation from unannotated data. The techniques are...