27336 search results - page 5131 / 5468 » Changing the subject: on the subject of subjectivity |
154
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...
217
click to vote
ICFP
2010
ACM
15 years 8 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
209
click to vote
GPCE
2008
Springer
15 years 8 months ago
2008
Springer
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL i...
181
click to vote
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
We propose a max-margin formulation for the multi-label classification problem where the goal is to tag a data point with a set of pre-specified labels. Given a set of L labels, a...
194
Voted
HASKELL
2008
ACM
15 years 8 months ago
2008
ACM
The quality of a programming language itself is only one component in the ability of application writers to get the job done. Programming languages can succeed or fail based on th...