317 search results - page 29 / 64 » Typing References by Effect Inference |
79
Voted
BMCBI
2010
14 years 9 months ago
2010
Background: Scoring functions, such as molecular mechanic forcefields and statistical potentials are fundamentally important tools in protein structure modeling and quality assess...
185
Voted
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
84
Voted
POPL
2010
ACM
15 years 7 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
ICDM
2002
IEEE
15 years 2 months ago
2002
IEEE
The Web has established itself as the dominant medium for doing electronic commerce. Consequently the number of service providers, both large and small, advertising their services...
TVCG
2008
14 years 9 months ago
2008
Databases often contain uncertain and imprecise references to real-world entities. Entity resolution, which is the process of reconciling multiple references to underlying real-wor...