1982 search results - page 173 / 397 » Parametricity and dependent types |
168
click to vote
IJBRA
2006
15 years 6 months ago
2006
: Probabilistic models for biological sequences (DNA and proteins) are frequently used in bioinformatics. We describe statistical tests designed to detect the order of dependency a...
169
click to vote
TCOM
2008
15 years 6 months ago
2008
We study a distributed version of switch-and-stay combining (DSSC) for systems that utilize two relays. In particular, four different scenarios are considered, depending on a) whet...
168
click to vote
JGAA
2007
15 years 6 months ago
2007
In the last decade several algorithms that generate straight-line drawings of general large graphs have been invented. In this paper we investigate some of these methods that are ...
158
click to vote
TON
2008
15 years 6 months ago
2008
This paper develops a framework to support multiple protection strategies in optical networks, which is in general applicable to any connection-oriented network. The capacity avail...
169
click to vote
IJON
2002
15 years 6 months ago
2002
Much evidence indicates that discrimination of the familiarity of visual stimuli is dependent on the perirhinal cortex of the temporal lobe. A stimulus can become familiar to anim...