: In this paper we present eMir, digital signage (public electronic displays) that show human faces which react to audience emotion. Using a camera installed at the sign, the syste...
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
One of the crucial elements in the Internet’s success is its ability to adequately control congestion. This paper defines and solves several optimization problems related to In...
Richard M. Karp, Elias Koutsoupias, Christos H. Pa...
We show that the graph isomorphism problem is hard under DLOGTIME uniform AC0 many-one reductions for the complexity classes NL, PL (probabilistic logarithmic space) for every loga...