4962 search results - page 298 / 993 » Stochastic Model Checking |
232
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
103
click to vote
ACL
1993
15 years 4 months ago
1993
This paper examines the current performance of the stochastic tagger PARTS (Church 88) in handling phrasal verbs, describes a problem that arises from the statistical model used, ...
106
click to vote
IJBC
2008
15 years 3 months ago
2008
Abstract: Two models for ship roll motion and capsizing under stochastic excitation are analyzed using Melnikov's method and control set analysis. The predictions given by the...
155
click to vote
ICSE
1999
IEEE-ACM
15 years 7 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
115
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We consider linear models for stochastic dynamics. To any such model can be associated a network (namely a directed graph) describing which degrees of freedom interact under the d...