Sciweavers

3884 search results - page 117 / 777
» A simplified modeling approach for human system interaction
Sort
View
TPHOL
1999
IEEE
15 years 6 months ago
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
Markus Wenzel
117
Voted
HRI
2010
ACM
15 years 8 months ago
Robust spoken instruction understanding for HRI
—Natural human-robot interaction requires different and more robust models of language understanding (NLU) than non-embodied NLU systems. In particular, architectures are require...
Rehj Cantrell, Matthias Scheutz, Paul W. Schermerh...
ICSE
2003
IEEE-ACM
16 years 1 months ago
A Software Prototyping Framework and Methods for Supporting Human's Software Development Activities
Software development environment is a platform for supporting software designer to design software based on the software requirement specification. It is an interactive system wit...
Jennifer Z. Guan, Luqi
ACHI
2008
IEEE
15 years 8 months ago
User-Centred Development of Mobile Interfaces to a Pervasive Computing Environment
—A challenging issue for HCI is the development of usable mobile interfaces for interactions with a complex pervasive environment. We consider a need for interfaces which automat...
Karin Leichtenstern, Elisabeth André
CHI
2007
ACM
16 years 2 months ago
How it works: a field study of non-technical users interacting with an intelligent system
In order to develop intelligent systems that attain the trust of their users, it is important to understand how users perceive such systems and develop those perceptions over time...
Joe Tullio, Anind K. Dey, Jason Chalecki, James Fo...