1312 search results - page 170 / 263 » Formally Optimal Boxing |
126
click to vote
JMLR
2012
13 years 4 months ago
2012
We propose a new method for comparing learning algorithms on multiple tasks which is based on a novel non-parametric test that we call the Poisson binomial test. The key aspect of...
108
click to vote
TVCG
2010
15 years 19 days ago
2010
—Many visualization applications benefit from displaying content on real-world objects rather than on a traditional display (e.g., a monitor). This type of visualization display ...
104
click to vote
SIAMCOMP
2010
14 years 9 months ago
2010
Often server systems do not implement the best known algorithms for optimizing average Quality of Service (QoS) out of concern of that these algorithms may be insufficiently fair ...
146
click to vote
TLDI
2005
ACM
15 years 7 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
116
click to vote
ICLP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Constraints and preferences are ubiquitous in real-life. Moreover, preferences can be of many kinds: qualitative, quantitative, conditional, positive or negative, to name...