Current approaches to explicit user modelling are generally time consuming and tedious for the user. Oftentimes poor usability and overly long questionnaires deter the end user fro...
Given a graph H = (V, F) with edge weights {w(e) : e F}, the weighted degree of a node v in H is {w(vu) : vu F}. We give bicriteria approximation algorithms for problems that see...
Intrusion detection, area coverage and border surveillance are important applications of wireless sensor networks today. They can be (and are being) used to monitor large unprotec...
Binay K. Bhattacharya, B. Burmester, Yuzhuang Hu, ...
This paper analyzes U.S. university press datasets (2001-2007) to determine net publishers' revenues and net publishers' units, the major markets and channels of distrib...
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...