4460 search results - page 690 / 892 » Formal methods for interactive systems |
123
click to vote
ACMACE
2008
ACM
15 years 6 months ago
2008
ACM
In this paper, we present a new entertainment adaptive framework AIRSF for stress free air travels. Based on the passenger's current and target comfort states, user entertain...
167
click to vote
HAPTICS
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. In this paper, a study on the role of force feedback for teleoperation of industrial overhead crane is presented. Teleoperation of industrial crane was described and anal...
136
click to vote
CGF
2008
15 years 4 months ago
2008
We provide a novel visualization method for the comparison of hierarchically organized data. Our technique visualizes a pair of hierarchies that are to be compared and simultaneou...
146
click to vote
GRID
2008
Springer
15 years 4 months ago
2008
Springer
Grids are facing the challenge of seamless integration of the grid power into everyday use. One critical component for this integration is responsiveness, the capacity to support o...
141
click to vote
NECO
2000
15 years 4 months ago
2000
We develop geometric dynamical systems methods to determine how various components contribute to a neuronal network's emergent population behavior. The results clarify the mu...