1137 search results - page 34 / 228 » Parametric Process Model Inference |
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
NIPS
1998
13 years 9 months ago
1998
Inference is a key component in learning probabilistic models from partially observable data. When learning temporal models, each of the many inference phases requires a complete ...
EMO
2005
Springer
14 years 1 months ago
2005
Springer
With the invention of microarray technology, researchers are able to measure the expression levels of ten thousands of genes in parallel at various time points of a biological proc...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Diagrammatic logics were introduced in 2002, with emphasis on the notions of specifications and models. In this paper we improve the description of the inference process, which i...