357 search results - page 39 / 72 » Computing Reachable States for Nonlinear Biological Models |
132
click to vote
ACSD
2008
IEEE
15 years 6 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
121
Voted
ASM
2005
ASM
15 years 9 months ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
125
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
Semi-continuous acoustic models, where the output distributions for all Hidden Markov Model states share a common codebook of Gaussian density functions, are a well-known and prov...
124
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
We consider the standard model of finite two-person zero-sum stochastic games with signals. We are interested in the existence of almost-surely winning or positively winning stra...
171
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...