Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
While various models of undo have been proposed over the years, no empirical study has yet been done to discover which model of undo most closely aligns with what users expect an ...
Aaron G. Cass, Chris S. T. Fernandes, Andrew Polid...
Local search algorithms are among the standard methods for solving hard combinatorial problems from various areas of Artificial Intelligence and Operations Research. For SAT, some ...
This paper is about constructing confidence bands around ROC curves. We first introduce to the machine learning community three band-generating methods from the medical field, and...
Sofus A. Macskassy, Foster J. Provost, Saharon Ros...
In this paper we investigated the applicability of commonly used white-balancing algorithms to restoring faded photographic colour slides. We have used three sets of synthetic data...
Dennis Nikitenko, Michael A. Wirth, Kataline Trude...