Sciweavers

7720 search results - page 264 / 1544
» A Model for Interface Groups
Sort
View
HICSS
1998
IEEE
195views Biometrics» more  HICSS 1998»
15 years 10 months ago
Augmenting User Interfaces for Digital Libraries with Virtual Reality
This paper describes a generic approach to the development of a virtual reality-based user interface for a collection of digital documents. We emphasise the role of intrinsic inte...
Chaomei Chen
IFM
2000
Springer
15 years 10 months ago
ISpec: Towards Practical and Sound Interface Specifications
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
H. B. M. Jonkers
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 8 months ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
MVA
2002
106views Computer Vision» more  MVA 2002»
15 years 6 months ago
A Functionally-Distributed Hand Tracking Method for Wearable Visual Interfaces and Its Applications
This paper describes a Functionally-Distributed (FD) hand tracking method for hand-gesture-based wearable visual interfaces. The method is an extension of the Distributed Monte Ca...
Takeshi Kurata, Takekazu Kato, Masakatsu Kourogi, ...
MC
2008
145views Computer Science» more  MC 2008»
15 years 8 months ago
Graspable Work Modeling
Structure placement techniques have been successfully used to facilitate individual articulation and communication in organizational settings. Recent research provides evidence th...
Stefan Oppl