This paper describes a physically embodied and animated user interface to an interactive call handling agent, consisting of a small wireless animatronic device in the form of a sq...
We present a chat system that uses animated text associated with emotional information to show the affective state of the user. The system obtains the affective state of a chat us...
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
Abstract— Nowadays a lot of effort is spent on developing OFDMbased inexpensive wireless transceivers. Direct-conversion radio frequency transceivers are appealing because they a...
Eduardo Lopez-Estraviz, Stefaan De Rore, Fran&cced...
Incorrect thread synchronization often leads to concurrency bugs that manifest nondeterministically and are difficult to detect and fix. Past work on detecting concurrency bugs ...