145 search results - page 29 / 29 » Automated Testing of Generic Computational Science Libraries |
HUMAN
2003
Springer
13 years 10 months ago
2003
Springer
Delivered end-to-end QoS is often limited by the ineffective resource management at Internet end systems. To overcome this problem, we present a resource allocation framework tha...
MM
2006
ACM
13 years 11 months ago
2006
ACM
Automated annotation of digital pictures has been a highly challenging problem for computer scientists since the invention of computers. The capability of annotating pictures by c...
LICS
2009
IEEE
13 years 12 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
BMCBI
2010
13 years 5 months ago
2010
Background: Because a priori knowledge about function of G protein-coupled receptors (GPCRs) can provide useful information to pharmaceutical research, the determination of their ...
SAC
2004
ACM
13 years 10 months ago
2004
ACM
A popular solution to internet performance problems is the widespread caching of data. Many caching algorithms have been proposed in the literature, most attempting to optimize fo...