Sciweavers

1520 search results - page 191 / 304
» Ontologies for User Interface Integration
Sort
View
APSEC
2000
IEEE
14 years 2 months ago
A GUI and testing tool for SOFL
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto
EACL
2003
ACL Anthology
14 years 4 days ago
Meaningful Conversation with a Mobile Robot
We describe an implementation integrating a spoken dialogue system with a mobile robot, which the user can direct to specific locations, ask for information about its status, and...
Johan Bos, Ewan Klein, Tetsushi Oka
SERP
2004
14 years 3 days ago
Formal Analysis of UML-Based Designs
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...
Boumediene Belkhouche, Anastasia Nix
CORR
2010
Springer
164views Education» more  CORR 2010»
13 years 10 months ago
Gaze and Gestures in Telepresence: multimodality, embodiment, and roles of collaboration
This paper proposes a controlled experiment to further investigate the usefulness of gaze awareness and gesture recognition in the support of collaborative work at a distance. We ...
Mauro Cherubini, Rodrigo de Oliveira, Nuria Oliver...
BSN
2009
IEEE
155views Sensor Networks» more  BSN 2009»
14 years 5 months ago
A Wearable Fabric Computer by Planar-Fashionable Circuit Board Technique
— A method to fabricate circuits on the cloth, planar fashionable circuit board (P-FCB), is proposed. And its applications such as fabric passive elements, user I/O interface, an...
Hyejung Kim, Yongsang Kim, Binhee Kim, Hoi-Jun Yoo