4502 search results - page 12 / 901 » Regular Model Checking |
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
In this paper, we study non-binary regular LDPC cycle codes whose parity check matrix has fixed column weight 2 and fixed row weight d. We prove that the parity check matrix of ...
FUIN
2010
13 years 7 months ago
2010
Abstract. Developing a good formalism and an efficient decision procedure for the instance checking problem is desirable for practical application of description logics. The data c...
IPL
2008
13 years 9 months ago
2008
Abstract. A stochastic graph game is played by two players on a game graph with probabilistic transitions. We consider stochastic graph games with -regular winning conditions speci...
ICSM
2009
IEEE
14 years 4 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
TCOM
2010
13 years 8 months ago
2010
—In this paper, we study nonbinary regular LDPC cycle codes whose parity check matrix H has fixed column weight