180 search results - page 36 / 36 » Compiling Polymorphism Using Intensional Type Analysis |
159
Voted
CLEF
2008
Springer
15 years 5 months ago
2008
Springer
We describe the WebCLEF 2008 task. Similarly to the 2007 edition of WebCLEF, the 2008 edition implements a multilingual "information synthesis" task, where, for a given t...
145
click to vote
PPOPP
2010
ACM
16 years 26 days ago
2010
ACM
Most modern Chip Multiprocessors (CMP) feature shared cache on chip. For multithreaded applications, the sharing reduces communication latency among co-running threads, but also r...
133
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
It is apparent that perturbations of the North American electric power grid follow the patterns and characteristics of Self Organized Critical (SOC) systems. Published studies sho...
146
click to vote
CC
2003
Springer
15 years 8 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
144
Voted
BMCBI
2008
15 years 3 months ago
2008
Background: Many bioinformatics applications rely on controlled vocabularies or ontologies to consistently interpret and seamlessly integrate information scattered across public r...