1562 search results - page 25 / 313 » Convenience Over Correctness |
148
click to vote
JFP
2007
15 years 1 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...
220
Voted
POPL
2006
ACM
16 years 2 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...
129
Voted
BMCBI
2008
15 years 2 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...
116
click to vote
TIT
2008
15 years 1 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...
151
Voted
TMI
2010
14 years 8 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 ...