933 search results - page 113 / 187 » Extending Forward Checking |
203
Voted
ECCB
2008
IEEE
15 years 1 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
114
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We introduce an approach to detecting inconsistencies in large biological networks by using Answer Set Programming. To this end, we build upon a recently proposed notion ...
94
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The focus of this paper is on reducing the complexity in verification by exploiting modularity at various levels: in specification, in verification, and structurally. For specifica...
83
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
In this paper, an expression for the asymptotic growth rate of the number of small linear-weight codewords of irregular doubly-generalized LDPC (D-GLDPC) codes is derived. The expr...
ENGL
2008
15 years 1 months ago
2008
- Recently, bicycles are used as exercising machines and traffic vehicles. Planetary gear trains can be used as the transmission systems for bicycles. The purpose of this work is t...