10542 search results - page 1860 / 2109 » A General Notion of Useful Information |
207
click to vote
ICFP
2010
ACM
15 years 6 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...
162
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: In practice many biological time series measurements, including gene microarrays, are conducted at time points that seem to be interesting in the biologist's opin...
139
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The public availability of over 180,000 bacterial 16S ribosomal RNA (rRNA) sequences has facilitated microbial identification and classification using hybridization an...
164
click to vote
IWC
2008
15 years 6 months ago
2008
Interactive algorithm visualizations (AVs) are powerful tools for teaching and learning concepts that are difficult to describe with static media alone. However, while countless A...
193
click to vote
IJNSEC
2006
15 years 6 months ago
2006
Alert correlation is an important technique for managing large the volume of intrusion alerts that are raised by heterogenous Intrusion Detection Systems (IDSs). The recent trend ...