4962 search results - page 73 / 993 » Stochastic Model Checking |
FLAIRS
2007
13 years 11 months ago
2007
We describe an architecture for representing and managing context shifts that supports dynamic data interpretation. This architecture utilizes two layers of learning and three lay...
BIOCOMP
2010
13 years 7 months ago
2010
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...
ICCAD
2005
IEEE
14 years 5 months ago
2005
IEEE
In this paper we describe several novel sparsification techniques used in a Fast Stochastic Integral Equation Solver to compute the mean value and the variance of capacitance of ...
CSDA
2006
13 years 9 months ago
2006
A new procedure for estimating the mean process of a doubly stochastic Poisson process is introduced. The proposed estimation is based on monotone piecewise cubic interpolation of...
BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...