We describe an experimental public resource monitoring system that combines sensor data and human input to create a new descriptor of ambient water conditions. We call this new me...
Interactive navigation through a video is a simple way for a user to get a quick overview of its content and to find interesting scenes. Although common video players provide only ...
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...
This paper presents an overview of methods used when measuring driver behavior and performance. Simulators, test-track, on-road, field-operational-trials, and naturalisitic methods...
Shane McLaughlin, Jonathan M. Hankey, Thomas A. Di...
We present a tool BlogTrackers, which assists sociologists to track and analyze blogs of particular interests by designing and integrating unique features. We present an overview ...
Nitin Agarwal, Shamanth Kumar, Huan Liu, Mark Wood...