1982 search results - page 181 / 397 » Parametricity and dependent types |
205
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The accuracy of protein secondary structure prediction has been improving steadily towards the 88% estimated theoretical limit. There are two types of prediction algor...
177
click to vote
VIS
2009
IEEE
16 years 7 months ago
2009
IEEE
Many techniques have been proposed to show uncertainty in data visualizations. However, very little is known about their effectiveness in conveying meaningful information. In this ...
164
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
205
click to vote
PASTE
2010
ACM
15 years 11 months ago
2010
ACM
Recently there has been significant interest in employing probabilistic techniques for fault localization. Using dynamic dependence information for multiple passing runs, learnin...
187
click to vote
ICFP
2002
ACM
16 years 6 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...