This paper presents a novel approach based on clustering algorithms in combination with the location area (LA) scheme to solve the mobility management problem. Users' movemen...
Society needs humor, not just for entertainment. In the Web age, presentations become more and more flexible and personalized and they will require hu mor contributions for elec...
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
Most courses on Discrete Mathematics are designed to emphasize problem solving, in general. When the goal is to cover the content, the learning and understanding takes a second pl...
This paper describes design directions for ubiquitous computing to facilitate social interaction. The study focuses on elders coping with cognitive decline and their caregivers, b...