752 search results - page 114 / 151 » A Markov Chain Model Checker |
171
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Molecular database search tools need statistical models to assess the significance for the resulting hits. In the classical approach one asks the question how probable...
108
click to vote
ICMLA
2009
14 years 11 months ago
2009
In this paper, we present new probabilistic models for identifying bird species from audio recordings. We introduce the independent syllable model and consider two ways of aggregat...
131
click to vote
PE
2010
Springer
14 years 8 months ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
146
click to vote
PE
2010
Springer
14 years 8 months ago
2010
Springer
In today's Internet, a large part of the traffic is carried using the TCP transport protocol. Characterization of the variations of TCP traffic is thus a major challenge, bot...
150
click to vote
LICS
2010
IEEE
15 years 12 days ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...