735 search results - page 50 / 147 » Procedural Modeling of Interconnected Structures |
ESOP
2003
Springer
14 years 2 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...
BMCBI
2010
13 years 9 months ago
2010
Background: Protein structure comparison is a central issue in structural bioinformatics. The standard dissimilarity measure for protein structures is the root mean square deviati...
BMCBI
2007
13 years 9 months ago
2007
Background: Experimentally determined protein structures may contain errors and require validation. Conformational criteria based on the Ramachandran plot are mainly used to disti...
DATE
1999
IEEE
14 years 1 months ago
1999
IEEE
A novel approach to testing sequential circuits that uses multi-level decision diagram representations is introduced. The proposed algorithm consists of a combination of scanning ...
CSDA
2006
13 years 8 months ago
2006
A new procedure for estimating the mean process of a doubly stochastic Poisson process is introduced. The proposed estimation is based on monotone piecewise cubic interpolation of...