1901 search results - page 3 / 381 » Predicting Program Properties from |
AUTOMATICA
2006
13 years 9 months ago
2006
In some of the recently-developed algorithms for convex parametric quadratic programs it is implicitly assumed that the intersection of the closures of two adjacent critical regio...
JAIR
2006
13 years 9 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
SAS
1991
Springer
14 years 1 months ago
1991
Springer
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
JCC
2007
13 years 9 months ago
2007
Abstract: In this study, we applied artificial neural network, implementing the backpropagation algorithm, for the prediction of the excitation and emission maxima of green fluores...
BMCBI
2008
13 years 10 months ago
2008
Background: Amino acids responsible for structure, core function or specificity may be inferred from multiple protein sequence alignments where a limited set of residue types are ...