408 search results - page 3 / 82 » Towards a Logic for Performance and Mobility |
MICAI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we utilize information theory to study the impact in learning performance of various motivation and environmental configurations. This study is done within...
ISSTA
2006
ACM
14 years 1 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— The concept of a mobile haptic interface for bimanual manipulations in 6 d.o.f. is presented. The design of this mobile haptic interface is based on a modular system consisting...
AR
2008
13 years 7 months ago
2008
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its clo...
POLICY
2007
Springer
14 years 1 months ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...