15 search results - page 1 / 3 » Improved Question-Guided Stubborn Set Methods for State Prop... |
APN
2000
Springer
13 years 9 months ago
2000
Springer
AVSS
2007
IEEE
13 years 11 months ago
2007
IEEE
This paper proposes a novel approach of combining an unsupervised clustering scheme called AutoClass with Hidden Markov Models (HMMs) to determine the traffic density state in a R...
DAC
2006
ACM
14 years 5 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
CAISE
2009
Springer
13 years 11 months ago
2009
Springer
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...
SIAMMAX
2010
12 years 11 months ago
2010
We propose a new approach to estimate the joint spectral radius and the joint spectral subradius of an arbitrary set of matrices. We first restrict our attention to matrices that ...