5577 search results - page 1015 / 1116 » E2K Technology and Implementation |
170
click to vote
ICFP
2010
ACM
15 years 4 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
126
click to vote
ERCIMDL
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Digital Library support for textual and certain types of nontextual documents has significantly advanced over the last years. While Digital Library support implies many a...
165
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Modern high throughput experimental techniques such as DNA microarrays often result in large lists of genes. Computational biology tools such as clustering are then us...
128
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Quantitative trait locus (QTL) mapping identifies genomic regions that likely contain genes regulating a quantitative trait. However, QTL regions may encompass tens to...
155
click to vote
CN
2008
15 years 4 months ago
2008
The primary feature of cognitive radios for wireless communication systems is the capability to optimize the relevant communication parameters given a dynamic wireless channel env...