1687 search results - page 153 / 338 » Light Functional Interpretation |
158
click to vote
Publication
_1990.jpg "Arity Raiser and its Use in Program Specialization")
Experiments on generating compilers by specializing specializers with respect to interpreters have shown that the compilers thus obtained have a natural structure only if the speci...
155
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Protein structural alignment provides a fundamental basis for deriving principles of functional and evolutionary relationships. It is routinely used for structural cla...
147
click to vote
ENTCS
2007
15 years 6 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
159
click to vote
EOR
2007
15 years 6 months ago
2007
In recent years, Support Vector Machines (SVMs) were successfully applied to a wide range of applications. Their good performance is achieved by an implicit non-linear transformat...
150
click to vote
BIOINFORMATICS
2005
15 years 6 months ago
2005
Summary: MADE4, microarray ade4, is a software package that facilitates multivariate analysis of microarray gene expression data. MADE4 accepts a wide variety of gene expression d...