6800 search results - page 1013 / 1360 » Testing with Functions as Specifications |
157
click to vote
AUTOMATICA
2006
15 years 6 months ago
2006
Controlling non-affine non-linear systems is a challenging problem in control theory. In this paper, we consider adaptive neural control of a completely non-affine pure-feedback s...
190
click to vote
FGCS
2008
15 years 6 months ago
2008
This paper proposes a bio-inspired approach tailored to the construction of a Grid information system in which content, specifically metadata descriptors that specify the characte...
171
click to vote
FTML
2008
15 years 6 months ago
2008
The formalism of probabilistic graphical models provides a unifying framework for capturing complex dependencies among random variables, and building large-scale multivariate stat...
184
click to vote
BIOINFORMATICS
2006
15 years 6 months ago
2006
Motivation: Over 50% of human genes contain CpG islands in their 5'-regions. Methylation patterns of CpG islands are involved in tissue-specific gene expression and regulatio...
180
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Structure matching plays an important part in understanding the functional role of biological structures. Bioinformatics assists in this effort by reformulating this p...