There are various situations where a distinction needs to be made between group members and outsiders. For example, to protect students in chat groups from unpleasant incidents ca...
The Army’s push towards developing highly flexible military teams that combine manned and unmanned units requires significant advances in the intelligence of the unmanned units ...
Talib S. Hussain, Daniel Cerys, David J. Montana, ...
Abstract. Many work environments can benefit from integrated computing devices to provide information to users, record users’ actions, and prompt users about the next steps to t...
Deploying UbiComp in real homes is central to realizing Weiserʼs grand vision of ʻinvisibleʼ computing. It is essential to moving design out of the lab and making it into an unr...
Peter Tolmie, Andy Crabtree, Stefan Rennick Eggles...
ng Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation Yan Chen Dept. of Computer Science Portland State University Portland, OR, 97207 chenyan@cs.pdx.e...