We show that any expression of the relational division operator in the relational algebra with union, difference, projection, selection, constant-tagging, and joins, must produce ...
Dynamic software visualization should provide a programmer with insights as to what the program is doing. Most current dynamic visualizations either use program traces to show inf...
—We propose various logical semantics for change of awareness. The setting is that of multiple agents that may become aware of facts or other agents, or forget about them. We mod...
Abstract The current OWL 2 specification provides mechanisms for importing whole ontologies. This paper discusses the import of only a module of an external ontology, which is spe...
Marker tracking has revolutionized Augmented Reality about a decade ago. However, this revolution came at the expense of visual clutter. In this paper, we propose several new mark...
Daniel Wagner, Tobias Langlotz, Dieter Schmalstieg