28497 search results - page 5698 / 5700 » Improving experiences of computation |
WWW
2007
ACM
14 years 7 months ago
2007
ACM
Peer-to-peer technologies are increasingly becoming the medium of choice for delivering media content, both professional and homegrown, to large user populations. Indeed, current ...
ICSE
2007
IEEE-ACM
14 years 12 days ago
2007
IEEE-ACM
ACL2 is the latest inception of the Boyer-Moore theorem prover, the 2005 recipient of the ACM Software System Award. In the hands of an expert, it feels like a finely tuned race ...
MVA
2000
13 years 7 months ago
2000
Visualizations and simulations in an urban environment need 3D digital maps rather than traditional 2D maps, and constructing 3D maps from multiple data sources has become a promi...
BMCBI
2010
13 years 6 months ago
2010
Background: Human genome contains millions of common single nucleotide polymorphisms (SNPs) and these SNPs play an important role in understanding the association between genetic ...
BMCBI
2007
13 years 6 months ago
2007
Background: One of the essential processing events during pre-mRNA maturation is the posttranscriptional addition of a polyadenine [poly(A)] tail. The 3'-end poly(A) track pr...