The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test ...
Graphplan and heuristic state space planners such as HSP-R and UNPOP are currently two of the most effective approaches for solving classical planning problems. These approaches h...
We evaluated effects of gaze directional and other non-verbal visual cues on multiparty mediated communication. Groups of three participants (two actors, one subject) solved langu...
Roel Vertegaal, Gerrit C. van der Veer, Harro Vons
This paper presents a technique for local surface extraction from scalar and vector fields using deformable surfaces. The goal of surface extraction is often to find features, o...
Most information includes some kinds of spatial data such as the address of a restaurant and the position of a person carrying a portable phone. The spatial data are useful as met...