1626 search results - page 49 / 326 » Subtyping with Power Types |
121
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: While in principle a seemingly infinite variety of combinations of mutations could result in tumor development, in practice it appears that most human cancers fall int...
129
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: With the rapid development of new genetic measurement methods, several types of genetic alterations can be quantified in a high-throughput manner. While the initial fo...
100
Voted
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— Solar powered WLAN infrastructure is a cost effective option in outdoor deployments where continuous power sources are not practical. In these nodes the cost of the sol...
129
Voted
PLDI
1989
ACM
15 years 6 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
140
Voted
VLSID
2003
IEEE
16 years 3 months ago
2003
IEEE
Abstract-- In battery driven portable applications, the minimization of energy, average power, peak power, and peak power differential are equally important to improve reliability ...