We extend Fagin’s result on the equivalence between functional dependencies in relational databases and propositional Horn clauses. It is shown that this equivalence still holds...
Abstract This paper describes an algorithm for generating a guaranteed intersectionfree interpolation sequence between any pair of compatible polygons. Our algorithm builds on prio...
Network management requires a lot of manual work. Due to ongoing growth of the Internet, more self-management is needed in order to deal with the growing complexity. Policybased m...
Interfaces for users on the web are usually created using standard HTML-technologies. Although dynamic textbased features are widely available on the web (e.g. by using DHTML) the...
This paper reports on the results of a long-term experiment in which a social robot’s facial expressions were changed to reflect different moods. While the facial changes in e...