1562 search results - page 25 / 313 » Convenience Over Correctness |
JFP
2007
13 years 9 months ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...
BMCBI
2008
13 years 9 months ago
2008
Background: The prediction of protein structure can be facilitated by the use of constraints based on a knowledge of functional sites. Without this information it is still possibl...
TIT
2008
13 years 9 months ago
2008
We present error-correcting codes that achieve the information-theoretically best possible trade-off between the rate and error-correction radius. Specifically, for every 0 < R...
TMI
2010
13 years 3 months ago
2010
Free-breathing image acquisition is desirable in first-pass gadolinium- enhanced magnetic resonance imaging (MRI), but the breathing movements hinder the direct automatic analysis ...