727 search results - page 14 / 146 » SIMPL: A System for Integrating Optimization Techniques |
ICMLA
2008
15 years 1 months ago
2008
The quality of large-scale recommendation systems has been insufficient in terms of the accuracy of prediction. One of the major reasons is caused by the sparsity of the samples, ...
SIGMETRICS
1995
ACM
15 years 3 months ago
1995
ACM
Prefetching and caching are e ective techniques for improving the performance of le systems, but they have not been studied in an integrated fashion. This paper proposes four pro...
IOR
2007
14 years 11 months ago
2007
This paper develops simple approximate methods to analyze a two-stage stochastic distribution system consisting of one warehouse and multiple retailers. We consider local and cent...
121
click to vote
CADE
2009
Springer
16 years 11 days ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
103
click to vote
ENTCS
2007
14 years 11 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...