4962 search results - page 287 / 993 » Stochastic Model Checking |
124
click to vote
WSC
2008
15 years 5 months ago
2008
Modeling and simulation of biochemical systems are important tasks because they can provide insights into complicated systems where traditional experimentation is expensive or imp...
118
click to vote
ICANN
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Stimulus4ependent changes have been observed in the correlations between the spike trains of simultaneously-recorded pairs of neurons from the auditory cortex of marmoset...
105
click to vote
COLING
2002
15 years 2 months ago
2002
In this paper, we present a parser based on a stochastic structured language model (SLM) with a
exible history reference mechanism. An SLM is an alternative to an n-gram model as...
108
click to vote
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
136
click to vote
EPEW
2008
Springer
15 years 4 months ago
2008
Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...