Predictive state representation (PSR) models for controlled dynamical systems have recently been proposed as an alternative to traditional models such as partially observable Mark...
Michael R. James, Satinder P. Singh, Michael L. Li...
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
A transferable quality model must be general. This implies that only the high level characteristics can be transferred into different settings and that the refinement of the charac...
Alessandro Bianchi, Danilo Caivano, Giuseppe Visag...
Complex systems consist of a large number of entities with their independent local rules and goals, along with their interactions. The effect of these properties tends to produce ...
Yongchang Li, Michael Balchanos, Bassem Nairouz, N...
Past research in task modeling suggests the need to introduce objects when using task models for the design of interactive applications. Objects are however rarely included in the ...
Sybille Caffiau, Patrick Girard, Dominique L. Scap...