6020 search results - page 19 / 1204 » A New Approach to Model Counting |
98
Voted
GLVLSI
1999
IEEE
15 years 6 months ago
1999
IEEE
This paper proposes a new fault coverage estimation model which can be used in the early stage of VLSI design. The fault coverage model is an exponentially decaying function with ...
LREC
2008
15 years 3 months ago
2008
Traditional Authorship Attribution models extract normalized counts of lexical elements such as nouns, common words and punctuation and use these normalized counts or ratios as fe...
112
click to vote
ANSS
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper Hidden Markov Model algorithms are considered as a method for computing conditional properties of continuous-time stochastic simulation models. The goal is to develo...
112
Voted
WISE
2008
Springer
15 years 8 months ago
2008
Springer
In the last few years, almost all model-driven Web Engineering approaches have evolved in response to the new challenges of Web systems design, which are due to new requirements an...
111
click to vote
ICALP
2000
Springer
15 years 5 months ago
2000
Springer
Abstract A new unfolding approach to LTL model checking is presented, in which the model checking problem can be solved by direct inspection of a certain finite prefix. The techniq...