In order to generate plans for agents with multiple actuators or agent teams, we must be able to represent and plan using concurrent actions with interacting effects. Historically...
fin this paper, we describe a working system for interactive Japanese syntactic an',dysis. A human user can intervene during parsing to hell) the system to produce a correct ...
Abstract. Motion sensing technologies are well developed at the biomechanical (motion capture) and geo-locative (GPS) scales. However, there are many degrees of scale between these...
Simon Biggs, Mariza Dima, Henrik Ekeus, Sue Hawksl...
Abstract. This paper proposes an accelerometer-based gesture recognition algorithm. As a pre-process procedure, raw data output by accelerometer should be quantized, and then use d...
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...