Sciweavers

5451 search results - page 573 / 1091
» Typed Operational Semantics
Sort
View
HAPTICS
2009
IEEE
15 years 10 months ago
Efficient object exploration and object presentation in TeleTA, Teleoperation system with Tactile feedback
In order to achieve awareness of collision during teleoperation and to support operator with valuable information (object stiffness and shape), we elaborated approaches to object ...
Dzmitry Tsetserukou, Susumu Tachi
CC
2004
Springer
134views System Software» more  CC 2004»
15 years 10 months ago
Widening Integer Arithmetic
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...
Kevin Redwine, Norman Ramsey
WSC
2008
15 years 9 months ago
Simulation of process execution monitoring and adjustment schemes
Optimization and design of production and service operations has been a cornerstone of simulation applications for many years. Recently there has been increasing interest in excel...
Russell R. Barton, Jun Shu
ECBS
2005
IEEE
158views Hardware» more  ECBS 2005»
15 years 8 months ago
A Framework for Sensor Management in Wireless and Heterogeneous Sensor Network
This paper proposes a framework for sensor configuration and management in wireless multi sensor network system, which is responsible for taking decisions in order to coordinate t...
D. Vaidya, Jianfeng Peng, Lizhi Yang, Jerzy W. Roz...
CLIMA
2007
15 years 8 months ago
Actions with Failures in Interval Temporal Logic
Abstract. Failures are unavoidable in many circumstances. For example, an agent may fail at some point to perform a task in a dynamic environment. Robust systems typically have mec...
Arjen Hommersom, Peter J. F. Lucas