4895 search results - page 160 / 979 » Functional Quantum Programming |
105
Voted
STOC
2006
ACM
16 years 2 months ago
2006
ACM
We consider the problem of maximizing welfare when allocating m items to n players with subadditive utility functions. Our main result is a way of rounding any fractional solution...
83
Voted
DSVIS
2003
Springer
15 years 7 months ago
2003
Springer
Modern industrial-strength user interface toolkits are usually described informally, in terms of implementation artifacts such as objects and imperative state. While the practical...
107
Voted
COLT
2001
Springer
15 years 7 months ago
2001
Springer
A classical learning problem in Inductive Inference consists of identifying each function of a given class of recursive functions from a finite number of its output values. Unifor...
107
click to vote
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
In this paper, we present our effort in developing an opensource GPU (graphics processing units) code library for the MATLAB Image Processing Toolbox (IPT). We ported a dozen of r...
151
click to vote
DB
2008
15 years 2 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...