Sciweavers

2701 search results - page 160 / 541
» On the form of witness terms
Sort
View
ICRA
2000
IEEE
95views Robotics» more  ICRA 2000»
15 years 11 months ago
Designing with Haptic Feedback
Haptic feedback is a design element for human-computer interfaces, and this paper discusses when and how it can be used to best effect in interactive applications. It begins with ...
Karon E. MacLean
IWSSD
2000
IEEE
15 years 11 months ago
Hybrid Model Visualization in Requirements and Design: A Preliminary Investigation
This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Se...
Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bu...
ISCAS
1999
IEEE
109views Hardware» more  ISCAS 1999»
15 years 10 months ago
Solution of vector partial differential equations by transfer function models
Transfer function models for the descriptionof physical systems have recently been introduced to the field of multidimensional digital signal processing. They provide an alternati...
Rudolf Rabenstein, Lutz Trautmann
IFL
1999
Springer
117views Formal Methods» more  IFL 1999»
15 years 10 months ago
On Code Generation for Multi-generator WITH-Loops in SAC
Abstract. Most array operations in Sac are specified in terms of so-called withloops, a Sac-specific form of array comprehension. Due to the map-like semantics of with-loops its ...
Clemens Grelck, Dietmar Kreye, Sven-Bodo Scholz
ICRA
1998
IEEE
118views Robotics» more  ICRA 1998»
15 years 10 months ago
The Instantaneous Kinematics of Manipulation
Dextrous manipulation planning is a problem of paramount importance in the study of multi ngered robotic hands. In this paper, we show in general, that all system variables the ng...
Li Han, Jeffrey C. Trinkle