Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
An aggregated search interface is designed to integrate search results from different sources (web, image, video, blog, etc) into a single result page. This paper presents two us...
Shanu Sushmita, Hideo Joho, Mounia Lalmas, Robert ...
Search engines make it easy to check facts online, but finding some specific kinds of information sometimes proves to be difficult. We studied the behavioral signals that suggest ...
In this paper, we explore the use of an Eco-Driving System [1] to see how the system promotes greener driving behavior. We conducted both an online survey (N=60) and a user test (...
When two or more agents interacting, their behaviors are not necessarily matching. Automated ways to overcome conicts in the behavior of agents can make the execution of interacti...