2502 search results - page 161 / 501 » Using probabilistic model checking in systems biology |
191
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
We propose a new unsupervised learning technique for extracting information from large text collections. We model documents as if they were generated by a two-stage stochastic pro...
173
click to vote
CIBCB
2007
IEEE
15 years 10 months ago
2007
IEEE
Gene regulatory network model is the most widely used mechanism to model and predict the behavior of living organisms. Network Component Analysis (NCA) as an emerging issue for unc...
174
click to vote
ASE
2005
15 years 6 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
192
click to vote
IJFCS
2006
15 years 6 months ago
2006
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...
190
click to vote
CC
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...