Sciweavers

4190 search results - page 501 / 838
» Implementing commitment-based interactions
Sort
View
DEXA
2008
Springer
121views Database» more  DEXA 2008»
15 years 5 months ago
OLAP for Trajectories
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...
DIAGRAMS
2008
Springer
15 years 5 months ago
Enhancing State-Space Tree Diagrams for Collaborative Problem Solving
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...
Steven L. Tanimoto
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 5 months ago
Assume-Guarantee Verification for Interface Automata
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...
FPLAY
2008
15 years 5 months ago
Integrating cumulative context into computer games
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...
APVIS
2008
15 years 5 months ago
Efficient Rendering of Extrudable Curvilinear Volumes
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...
Steven Martin, Han-Wei Shen, Ravi Samtaney