Sciweavers

6248 search results - page 95 / 1250
» Programming in a data factory
Sort
View
ASPLOS
2008
ACM
15 years 4 months ago
Concurrency control with data coloring
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
Luis Ceze, Christoph von Praun, Calin Cascaval, Pa...
SAS
1999
Springer
15 years 6 months ago
Eliminating Dead Code on Recursive Data
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...
Yanhong A. Liu, Scott D. Stoller
CVPR
2004
IEEE
16 years 4 months ago
Unsupervised Learning of Image Manifolds by Semidefinite Programming
Can we detect low dimensional structure in high dimensional data sets of images? In this paper, we propose an algorithm for unsupervised learning of image manifolds by semidefinit...
Kilian Q. Weinberger, Lawrence K. Saul
121
Voted
SMC
2007
IEEE
118views Control Systems» more  SMC 2007»
15 years 8 months ago
One-class learning with multi-objective genetic programming
One-class classification naturally only provides one class of exemplars on which to construct the classification model. In this work, multiobjective genetic programming (GP) all...
Robert Curry, Malcolm I. Heywood
251
Voted
POPL
2006
ACM
16 years 2 months ago
Stratified type inference for generalized algebraic data types
We offer a solution to the type inference problem for an extension of Hindley and Milner's type system with generalized algebraic data types. Our approach is in two strata. T...
François Pottier, Yann Régis-Gianas