1070 search results - page 67 / 214 » Type Classes with Functional Dependencies |
MA
2010
Springer
13 years 6 months ago
2010
Springer
Quasi-independence is a common assumption for analyzing truncated data. To verify this condition, we consider a class of weighted log-rank type statistics that include existing te...
JCNS
2007
13 years 7 months ago
2007
Brain signals such as local field potentials often display gamma-band oscillations (30–70 Hz) in a variety of cognitive tasks. These oscillatory activities possibly reflect sy...
POPL
2005
ACM
14 years 8 months ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
SODA
2008
ACM
13 years 9 months ago
2008
ACM
We consider graph coloring problems where the cost of a coloring is the sum of the costs of the colors, and the cost of a color is a monotone concave function of the total weight ...