Abstract. Interactive data mining focuses on efficient and effective humancomputer interactions for data analysis purposes. An interactive system is an integration of a human user ...
Considering that direct manipulation interfaces using a pointing device could be more efficient with the addition of a second pointing device, we are designing and implementing tw...
The paper presents observations concerning teaching Prolog to computer science students. Basing on these experiences an interactive web-portal is proposed to support teaching. Som...
The MPI-2 Standard has carefully specified the interaction between MPI and usercreated threads. The goal of this specification is to allow users to write multithreaded MPI progr...
In this paper we introduce the notion of approximate implementations for Probabilistic I/O Automata (PIOA) and develop methods for proving such relationships. We employ a task str...