4502 search results - page 624 / 901 » Regular Model Checking |
207
click to vote
SIGMETRICS
2011
ACM
14 years 9 months ago
2011
ACM
Branch taken rate and transition rate have been proposed as metrics to characterize the branch predictability. However, these two metrics may misclassify branches with regular his...
223
click to vote
JMLR
2012
13 years 9 months ago
2012
In this paper we propose a new approach for semi-supervised structured output learning. Our approach uses relaxed labeling on unlabeled data to deal with the combinatorial nature ...
182
click to vote
QEST
2005
IEEE
16 years 7 days ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
178
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: It has been apparent in the last few years that small non coding RNAs (ncRNA) play a very significant role in biological regulation. Among these microRNAs (miRNAs), 22...
206
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. As part of an architectural modeling project, this paper investigates the problem of understanding and manipulating images of buildings. Our primary motivation is to auto...