3082 search results - page 476 / 617 » Deviation Analysis: A New Use of Model Checking |
150
click to vote
ICCSA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we propose a new clustering procedure for high dimensional microarray data. Major difficulty in cluster analysis of microarray data is that the number of samples to ...
176
click to vote
APN
2007
Springer
16 years 15 days ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
167
click to vote
JCSS
2010
15 years 4 months ago
2010
Abstract. Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. A reset arc allows a transition to remove all tokens from a certain place when the transi...
169
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Web logs, or blogs, challenge the notion of authorship. Seemingly, rather than a model in which the author's writings are themselves a contribution, the blog author weaves a ...
169
click to vote
RECOMB
2003
Springer
16 years 6 months ago
2003
Springer
Genetic linkage analysis is a challenging application which requires Bayesian networks consisting of thousands of vertices. Consequently, computing the likelihood of data, which i...