4502 search results - page 15 / 901 » Regular Model Checking |
TNN
1998
13 years 9 months ago
1998
—Structural learning with forgetting is an established method of using Laplace regularization to generate skeletal artificial neural networks. In this paper we develop a continu...
IPL
2006
13 years 9 months ago
2006
We investigate the path model checking problem for the
TCOM
2008
13 years 8 months ago
2008
In this paper, a method to design regular (2, dc)-LDPC codes over GF(q) with both good waterfall and error floor properties is presented, based on the algebraic properties of thei...
CHARME
2005
Springer
14 years 3 months ago
2005
Springer
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
ATVA
2009
Springer
14 years 4 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...