This paper is about the evolution of a system prototype called Pensieve whose goal is to support people's reminiscing practices. A number of technologies exist to manage memo...
Dan Cosley, Kathy Akey, Brian Alson, Jonathan Baxt...
There has been much discussion of what a scientific theory of consciousness would look like, and even whether such a theory is possible. Some common misunderstandings of the natur...
We study the fundamental classification problems 0-Extension and Metric Labeling. A generalization of Multiway Cut, 0-Extension is closely related to partitioning problems in grap...
Howard J. Karloff, Subhash Khot, Aranyak Mehta, Yu...
Abstract. In this paper, we identify some issues in the interplay between practice and theory in cryptography, issues that have repeatedly appeared in different incarnations over ...
The accepted view of programming, rooted in Turing’s fundamental characterization of algorithms, has had a profound impact on the theory and practice of computing with yet broad...