Sciweavers

2757 search results - page 233 / 552
» Empirical investigations of conceptual modeling and the mode...
Sort
View
ICMLA
2004
15 years 8 months ago
Planning with predictive state representations
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...
CCS
2009
ACM
16 years 1 months ago
CoSP: a general framework for computational soundness proofs
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...
Michael Backes, Dennis Hofheinz, Dominique Unruh
COMPSAC
2002
IEEE
15 years 11 months ago
Quality Models Reuse: Experimentation on Field
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...
WSC
2008
15 years 9 months ago
Modeling and simulation of integrated intelligent systems
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...
TAMODIA
2008
15 years 8 months ago
Assessment of Object Use for Task Modeling
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...