Visual metaphors in the form of still or animated pictures have been used in user interfaces with the hope of enhancing learning and use of computer applications. This paper studi...
We propose to shift the goal of recognition from naming
to describing. Doing so allows us not only to name familiar
objects, but also: to report unusual aspects of a familiar
ob...
Ali Farhadi, David A. Forsyth, Derek Hoiem, Ian En...
Examining the validity or accuracy of proposed available bandwidth estimation tools remains a challenging problem. A common approach consists of evaluating a newly developed tool ...
Process mining has proven to be a valuable tool for analyzing operational process executions based on event logs. Existing techniques perform well on structured processes, but stil...
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...