Abstract. In this paper we attempt to characterize resources of information complementary to audio-visual (A/V) streams and propose their usage for enriching A/V data with semantic...
Jan Nemrava, Paul Buitelaar, Thierry Declerck, Voj...
Abstract. In this paper we describe ConStruct, a distributed, contextaggregation based service infrastructure which supports the development of context-aware applications. ConStruc...
—Mobile robots that interact with humans in an intuitive way must be able to follow directions provided by humans in unconstrained natural language. In this work we investigate h...
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
Since Bloom's initial work on competencies in 1956, various competency systems have been designed and used to assess students' competencies. Different pedagogical researc...
Erica Melis, Arndt Faulhaber, Ahmad Salim Doost, C...