4962 search results - page 21 / 993 » Stochastic Model Checking |
ECIR
1998
Springer
13 years 9 months ago
1998
Springer
We present in this paper a combination of Machine Learning based Information Retrieval (IR) techniques and stochastic language modelling in a hierarchical system that extracts sur...
CAV
2003
Springer
14 years 25 days ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
DAGSTUHL
2006
13 years 9 months ago
2006
We present stochastic process algebra models of a Circadian clock mechanism used in many biological organisms to regulate time-based behaviour. We compare modelling techniques fro...
IJON
2006
13 years 7 months ago
2006
We introduce a new approach to model the behavior of neuronal signal transduction networks using stochastic differential equations. We present first a mathematical formulation for...
ENTCS
2006
13 years 7 months ago
2006
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...