This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems req...
Senem Velipasalar, Chang Hong Lin, Jason Schlessma...
Three-dimensional data generated from range scanners is usually composed of a huge amount of information. Simplification and compression techniques must be adopted in order to red...
Accurate network traffic classification is an important task. We intend to develop an intelligent classification system by learning the types of service inside a network flow usin...
As robots enter everyday life and start to interact with ordinary people the question of their appearance becomes increasingly important. A user’s perception of a robot can be s...
Mike Blow, Kerstin Dautenhahn, Andrew Appleby, Chr...
In this work we present the details of the implementation of Fotofiti(FF), a website that provides automatic semantic annotation of digital photographs, event management and soci...