Sciweavers

4905 search results - page 852 / 981
» Aging and Human Performance
Sort
View
TSE
2010
123views more  TSE 2010»
15 years 1 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue
VCBM
2010
15 years 1 months ago
Dynamic Visualisation of Orbital Fat Deformation using Anatomy-Guided Interaction
The human eye is a biomechanical system. Orbital fat plays an important role in the working of this system, but its behaviour during eye movement is not well understood. To give i...
Peter J. Schaafsma, Sander Schutte, Huib J. Simons...
TNN
2011
142views more  TNN 2011»
15 years 29 days ago
Optimum Spatio-Spectral Filtering Network for Brain-Computer Interface
—This paper proposes a feature extraction method for motor imagery brain–computer interface (BCI) using electroencephalogram. We consider the primary neurophysiologic phenomeno...
Haihong Zhang, Zhang Yang Chin, Kai Keng Ang, Cunt...
ICASSP
2011
IEEE
14 years 10 months ago
CROWDMOS: An approach for crowdsourcing mean opinion score studies
MOS (mean opinion score) subjective quality studies are used to evaluate many signal processing methods. Since laboratory quality studies are time consuming and expensive, researc...
Flavio Ribeiro, Dinei A. F. Florêncio, Cha Z...
IEAAIE
2011
Springer
14 years 10 months ago
Modeling Users of Crisis Training Environments by Integrating Psychological and Physiological Data
Abstract. This paper describes aspects of a training environment for crisis decision makers who, notoriously, operate in highly stressful and unpredictable situations. Training suc...
Gabriella Cortellessa, Rita D'Amico, Marco Pagani,...