3047 search results - page 313 / 610 » Aggregation functions: Means |
133
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
We present the type theory LTT, intended to form a basis for typed target languages, providing an internal notion of logical proposition and proof. The inclusion of explicit proof...
141
click to vote
PEPM
2010
ACM
16 years 1 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
132
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reď...
139
click to vote
GLOBECOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—Multiple-input multiple-output (MIMO) channels have been studied from various aspects including the average of the mutual information between the transmitter and receiver (ergod...
127
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
We propose multi-language synchronization, a novel approach to the problem of migrating code from a legacy language (such as C) to a new language. We maintain two parallel versions...