3116 search results - page 136 / 624 » Positively dependent types |
148
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: The brightness of the probe spots on expression microarrays intends to measure the abundance of specific mRNA targets. Probes with runs of at least three guanines (G) ...
132
click to vote
AOSD
2007
ACM
15 years 8 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
138
click to vote
ISBI
2006
IEEE
16 years 5 months ago
2006
IEEE
Clinical and research neurosurgical studies involving the use of intracranial electroencephalography and cortical stimulation depend critically on accurate localization of electro...
125
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
– Determining the position of mobile users in GSM networks has become more and more important. Such services as emergency calls and other location dependent services have been of...
165
click to vote
POPL
2012
ACM
14 years 3 hour ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...