Color matching in Content-Based Image Retrieval is done using a color space and measuring distances between colors. Such an approach yields nonintuitive results for the user. We i...
Egon L. van den Broek, Theo E. Schouten, P. M. F. ...
This paper introduces a nested sequent system for predicate logic. The system features a structural universal quantifier and a universally closed existential rule. One nice conseq...
We describe a mapping language for converting data contained in spreadsheets into the Web Ontology Language (OWL). The developed language, called M2 , overcomes shortcomings with e...
Martin J. O'Connor, Christian Halaschek-Wiener, Ma...
In this paper we describe our approach to support ongoing meetings with an automated meeting assistant. We propose an alternative user interface for the AMIDA Content Linking Devic...
A microblogged stream is delivered over time, providing an ongoing commentary of topics, trends, and issues. In this article, we present two methods of finding temporal topics wi...
David A. Shamma, Lyndon Kennedy, Elizabeth F. Chur...