6045 search results - page 171 / 1209 » Computable Linearizations of Well-partial-orderings |
168
Voted
PODS
2010
ACM
15 years 9 months ago
2010
ACM
Differential privacy is a robust privacy standard that has been successfully applied to a range of data analysis tasks. But despite much recent work, optimal strategies for answe...
115
click to vote
ENTCS
2008
15 years 4 months ago
2008
: By the Riesz Representation Theorem for locally compact Hausdorff spaces, for every positive linear functional I on K(X) there is a measure
184
Voted
APLAS
2001
ACM
15 years 7 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
110
Voted
ARITH
2005
IEEE
15 years 9 months ago
2005
IEEE
The pipelined CORDIC with linear approximation to rotation has been proposed to achieve reductions in delay, power and area; however, the schemes for rotation (multiplication) and...
145
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
For scene classification, patch-level linear features do not always work as well as handcrafted features. In this paper, we present a new model to greatly improve the usefulness ...