Sciweavers

13489 search results - page 197 / 2698
» Operating System
Sort
View
TLCA
1995
Springer
15 years 10 months ago
Typed Operational Semantics
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
Healfdene Goguen
ICRA
2010
IEEE
107views Robotics» more  ICRA 2010»
15 years 5 months ago
A new large projection operator for the redundancy framework
— In this paper, we propose a new projection operator for the redundancy framework based on a task function defined as the norm of the usual error. This projection operator allo...
Mohammed Marey, François Chaumette
CCECE
2006
IEEE
16 years 16 days ago
Adaptive Bilateral Control using Operator Elbow Impedance
— Human arm dynamics can be used for control of human-machine interfaces in haptic applications. In this paper, a novel method for online estimation of human operator elbow imped...
Farid Mobasser, Keyvan Hashtrudi-Zaad
WSC
2008
15 years 8 months ago
A framework for real-time simulation of heavy construction operations
This paper describes a framework of real-time simulation for modeling heavy construction operations. Compared with the traditional offline simulation that uses stationary inputs, ...
Lingguang Song, Fernando Ramos, Katie Arnold
HCI
2011
14 years 10 months ago
A Methodical Approach for Developing Valid Human Performance Models of Flight Deck Operations
Validation is critically important when human performance models are used to predict the effect of future system designs on human performance. A model of flight deck operations was...
Brian F. Gore, Becky L. Hooey, Nancy Haan, Deborah...