: People have a large amount of information that they wish to maintain awareness of, but yet forget to check or are too busy to check it on a regular basis. Examples of this inform...
: The evaluation of interactive systems has been an active subject of research for many years. Many methods and tools have been proposed but most of them do not take architectural ...
Chi Dung Tran, Houcine Ezzedine, Christophe Kolski
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
Martin J. O'Connor, Ravi Shankar, Samson W. Tu, Cs...
This paper focuses on the integration of acoustic and visual information for people tracking. The system presented relies on a probabilistic framework within which information from...
Roberto Brunelli, Alessio Brutti, Paul Chippendale...