4502 search results - page 15 / 901 » Regular Model Checking |
135
click to vote
TNN
1998
15 years 1 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...
91
Voted
IPL
2006
15 years 2 months ago
2006
We investigate the path model checking problem for the
141
click to vote
TCOM
2008
15 years 18 days 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...
126
click to vote
CHARME
2005
Springer
15 years 7 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, ...
116
Voted
ATVA
2009
Springer
15 years 8 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...