Sciweavers

5544 search results - page 156 / 1109
» Three Inadequate Models
Sort
View
HHCI
2000
14 years 23 days ago
The Sense of Object-Presence with Projection-Augmented Models
Projection-augmented models are a type of non-immersive, coincident haptic and visual display that uses a physical model as a three dimensional screen for projected visual informa...
Brett Stevens, Jennifer Jerrams-Smith
ASM
2010
ASM
14 years 14 days ago
A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking
Symmetry reduction is a model checking technique that can help alleviate the problem of state space explosion, by preventing redundant state space exploration. In previous work, we...
Edd Turner, Michael J. Butler, Michael Leuschel
WSC
2008
13 years 11 months ago
A discrete event simulation model for examining future sustainability of Canadian Forces operations
This paper presents a proof-of-concept discrete-event simulation model for examining the ability of the Canadian Forces (CF) to sustain operations, from a human resources perspect...
Patricia Moorhead, Andrew Wind, Mira Halbrohr
WSC
2008
13 years 11 months ago
A simplified modeling approach for human system interaction
Despite increasing dependency on technology, the importance of humans is expected to increase and to provide a realistic basis for decision support; both technical and organizatio...
Torbjorn P. E. Ilar
ESANN
2003
13 years 10 months ago
Self-organizing maps and functional networks for local dynamic modeling
The paper presents a method for times series prediction using a local dynamic modeling based on a three step process. In the first step the input data is embedded in a reconstruct...
Noelia Sánchez-Maroño, Oscar Fontenl...