We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...
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...
K-means is a widely used partitional clustering method. A large amount of effort has been made on ļ¬nding better proximity (distance) functions for K-means. However, the common c...
We consider the multiuser successive refinement (MSR) problem, where the users are connected to a central server via links with different noiseless capacities, and each user wishes...
Human-nameable visual āattributesā can beneļ¬t various recognition tasks. However, existing techniques restrict these properties to categorical labels (for example, a person ...