Finding objects like music albums or wines in large databases is an inherently difficult problem, especially if users do not know exactly what they are looking for. We propose th...
Nowadays, personal navigation devices (PNDs) that provide GPSbased directions are widespread in vehicles. These devices typically display the real-time location of the vehicle on ...
Andrew L. Kun, Tim Paek, Zeljko Medenica, Nemanja ...
This paper describes current work on a photo-id system for humpback whales. Individuals of this species can be uniquely identified by the light and dark pigmentation patches on th...
Elena Ranguelova, Mark J. Huiskes, Eric J. Pauwels
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
This work explores the properties of different output modalities as notification mechanisms in the context of messaging. In particular, the olfactory (smell) modality is introdu...