In this paper, we present a multimodal discourse ontology that serves as a knowledge representation and annotation framework for the discourse understanding component of an artifi...
One of the most common functions of smart environments is to monitor and assist older adults with their activities of daily living. Activity recognition is a key component in this...
Ehsan Nazerfard, Barnan Das, Lawrence B. Holder, D...
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
The paper presents a way to robustly command a system of systems as a single entity. Instead of modeling each component system in isolation and then manually crafting interaction p...
Point Distribution Models are useful tools for modelling the variability of particular classes of shapes. A common approach is to apply a Principle Component Analysis to the data,...
James Orwell, Darrel Greenhill, Jonathan D. Rymel,...