Abstract--In developing a tutoring system, one of the most difficult tasks is to collect tutoring knowledge from multiple educators, especially courses in which the contents change...
In this paper we present a graphical query language for XML. The language, based on a simple form of graph grammars, permits us to extract data and reorganize information in a new...
: Jacobson, Levin, and Scheinerman introduced the fractional Ramsey function rf (a1,a2, ...,ak) as an extension of the classical definition for Ramsey numbers. They determined an e...
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
—Games, and serious games especially, revolve around learning new material and integrating this into a mental model. However, playing games can be cognitively demanding and novic...
Erik D. Van der Spek, Herre van Oostendorp, Pieter...