22121 search results - page 4317 / 4425 » Modeling annotated data |
140
click to vote
INFOCOM
2009
IEEE
16 years 29 days ago
2009
IEEE
— Wireless community networks, where users share wireless bandwidth is attracting tremendous interest from academia and industry. Companies such as FON have been successful in at...
168
click to vote
ISCA
2009
IEEE
16 years 28 days ago
2009
IEEE
As transistor density continues to grow at an exponential rate in accordance to Moore’s law, the goal for many Chip Multi-Processor (CMP) systems is to scale the number of on-ch...
189
click to vote
ISPAN
2009
IEEE
16 years 28 days ago
2009
IEEE
— Scientific computing often requires the availability of a massive number of computers for performing large scale experiments. Traditionally, these needs have been addressed by ...
189
click to vote
TPHOL
2009
IEEE
16 years 28 days ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
165
click to vote
BICOB
2009
Springer
16 years 27 days ago
2009
Springer
The de novo assembly of genomes from high-throughput short reads is an active area of research. Several promising methods have been recently developed, with applicability mainly re...