Rapid growth of digital data collections is overwhelming the capabilities of humans to comprehend them without aid. The extraction of useful data from large raw data sets is someth...
: The paper describes a mobile application for traffic telematics, based on the Jini middleware. The application is realized as a set of user-level services, characterized by follo...
Abstract. In this paper we present a system that enhances typical synchronous teleteaching environments. The key idea is to compensate the lack of social awareness and interactivit...
Although talkhtg is an integral part of collaborative activity, there has been little computer support for acquiring and accessing the contents of conversations. Our approach has ...
In usual proof systems, like the sequent calculus, only a very limited way of combining proofs is available through the tree structure. We present in this paper a logicindependent ...