15485 search results - page 2888 / 3097 » Computing Optimal Subsets |
171
click to vote
PADL
2012
Springer
14 years 2 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
186
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
212
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
In real-world applications of visual recognition, many factors—such as pose, illumination, or image quality—can cause a significant mismatch between the source domain on whic...
241
click to vote
RECOMB
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Lateral gene transfer (LGT) is a common mechanism of nonvertical evolution where genetic material is transferred between two more or less distantly related organisms. It ...
227
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
In the static analysis of functional programs, pushdown flow analabstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method re...