In this paper, we present an OLAP framework for trajectories of moving objects. We introduce a new operator GROUP TRAJECTORIES for group-by operations on trajectories and present ...
Oliver Baltzer, Frank K. H. A. Dehne, Susanne E. H...
State-space search methods in problem solving have often been illustrated using tree diagrams. We explore a set of issues related to coordination in collaborative problem solving a...
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
In this paper, we describe a cumulative context computer game, where accumulated contextual information of the players activity levels, obtained through mobile sensors, is used to...
Kevin G. Stanley, David Pinelle, Alan Bandurka, Da...
We present a technique for memory-efficient and time-efficient volume rendering of curvilinear adaptive mesh refinement data defined within extrudable computational spaces. One of...