2018 search results - page 132 / 404 » Code Normal Forms |
125
click to vote
TSP
2010
14 years 9 months ago
2010
Except in the case of normal (i.e Gaussian) distribution, it is very difficult to calculate the marginal probability distribution of ARMA signals. By using a particular form of mo...
104
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
136
click to vote
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
Taha and Nielsen have developed a multi-stage calculus λα with a sound type system using the notion of environment classifiers. They are special identifiers, with which code fr...
150
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Overlapping genes (OGs) are defined as adjacent genes whose coding sequences overlap partially or entirely. In fact, they are ubiquitous in microbial genomes and more ...
140
click to vote
PASTE
1999
ACM
15 years 6 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...