972 search results - page 66 / 195 » Intersection types and computational effects |
BMCBI
2010
13 years 7 months ago
2010
Background: Gene clustering for annotating gene functions is one of the fundamental issues in bioinformatics. The best clustering solution is often regularized by multiple constra...
PDPTA
2004
13 years 9 months ago
2004
Grid computing and cluster computing platforms are becoming the primary development platforms for pervasive computing. The primary problem associated with both computational grids...
ISCAS
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper, we present a novel content-based image error detection and error concealment algorithm to improve the image quality degraded during its transmission over wireless c...
LICS
1997
IEEE
13 years 12 months ago
1997
IEEE
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...
NETWORKING
2004
13 years 9 months ago
2004
A common feature of congestion control protocols is the presence of information packets used to signal congestion. We address here the question of how frequently such protocols nee...