Iris recognition is regarded as the most reliable biometrics and has been widely applied in both public and personal security areas. However users have to highly cooperate with th...
As the amount of online shoppers grows rapidly, the need of recommender systems for e-commerce sites are demanding, especially when the number of users and products being offered o...
Energy consumption is largely studied in the context of different environments, such as domestic, corporate, industrial, and public sectors. In this paper, we discuss two environm...
Salman Taherian, Marcelo Pias, George Coulouris, J...
In this paper, we propose a reliable high-speed UDP-based media transport with an adaptive FEC (forward error correction) error control. The proposed adaptive transport scheme cont...
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...