9110 search results - page 27 / 1822 » Formally-Based Design Evaluation |
CHI
2003
ACM
15 years 10 months ago
2003
ACM
Email has come to play a central role in task management, yet email tool features have remained relatively static in recent years, lagging behind users' evolving practices. T...
ISMAR
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper focuses on the design of devices for handheld spatial interaction. In particular, it addresses the requirements and construction of a new platform for interactive AR, d...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
—The commercial development of haptic devices is very promising. Existing systems are often 6-degree-of-freedom mechanisms equipped with a stylus that acts as a tool. They exhibi...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
— This work is focused on the design of a rotor speed regulator for small-scale helicopters. A nominal model identification for the main rotor is performed using a hybrid proced...
MOBIQUITOUS
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— In this paper we present the design and implementation of a space service that gives pervasive computing applications both a hierarchical and coordinate-based view of p...