Abstract. In contrast to the variety of listening behaviors produced in humanto-human interaction, most virtual agents sit or stand passively when a user speaks. This is a reflecti...
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
Bernd Brassel, Michael Hanus, Frank Huch, Germ&aac...
A new technique for synthesizing totally symmetric Boolean functions is presented that achieves complete robust path delay fault testability. We apply BDDs for the synthesis of sy...
There is a growing demand for the development of multi-device, adaptive user interfaces – interfaces that will run on and adapt to the characteristics of multiple display device...
In this paper we present a new matching method called Tuple Matching (TM), which is an algorithm for matching of signatures. Since signatures can contain arbitrary features like c...