2049 search results - page 6 / 410 » Normalization and Partial Evaluation |
TYPES
2007
Springer
14 years 1 months ago
2007
Springer
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...
AIRS
2006
Springer
13 years 11 months ago
2006
Springer
In data fusion, score normalization is a step to make scores, which are obtained from different component systems for all documents, comparable to each other. It is an indispensabl...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The Center for Science and Technology Studies at Leiden University advocates the use of specific normalizations for assessing research performance with reference to a world averag...
BMCBI
2006
13 years 7 months ago
2006
Background: With the development of DNA hybridization microarray technologies, nowadays it is possible to simultaneously assess the expression levels of thousands to tens of thous...
BMCBI
2010
13 years 7 months ago
2010
Background: High-throughput sequencing technologies, such as the Illumina Genome Analyzer, are powerful new tools for investigating a wide range of biological and medical question...