2343 search results - page 218 / 469 » Structure and Interpretation of Computer Programs |
164
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper addresses the problem of jointly clustering two segmentations of closely correlated images. We focus in particular on the application of reconstructing neuronal structu...
179
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
197
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—The distributed nature and large scale of MapReduce programs and systems poses two challenges in using existing profiling and debugging tools to understand MapReduce pr...
165
click to vote
LICS
2007
IEEE
16 years 21 days ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
178
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: In proteomics experiments, database-search programs are the method of choice for protein identification from tandem mass spectra. As amino acid sequence databases grow...