Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
Clustering is an important function in data mining. Its typical application includes the analysis of consumer's materials. Adaptive resonance theory network (ART) is very pop...
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
The Discovery Point prototype allows art museum visitors to hear stories about a work of art without burdening them with lengthy commentary. It is simple and compact; it has only ...
In multi-issue negotiations, issues may be negotiated independently or not. In the latter case, the utility associated with one issue depends on the value of another. These issue d...
Koen V. Hindriks, Catholijn M. Jonker, Dmytro Tykh...