Sciweavers

2123 search results - page 64 / 425
» The study of models of intelligent interfaces
Sort
View
IUI
2006
ACM
14 years 2 months ago
Trust building with explanation interfaces
Based on our recent work on the development of a trust model for recommender agents and a qualitative survey, we explore the potential of building users’ trust with explanation ...
Pearl Pu, Li Chen
FM
2008
Springer
171views Formal Methods» more  FM 2008»
13 years 10 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...
ISMVL
2007
IEEE
92views Hardware» more  ISMVL 2007»
14 years 3 months ago
Experimental Studies on SAT-Based ATPG for Gate Delay Faults
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
Stephan Eggersglüß, Daniel Tille, G&oum...
ACMDIS
2006
ACM
14 years 2 months ago
Investigating design knowledge reuse for interface development
Reusing HCI design knowledge shows potential in allowing practitioners to design based on previously identified concerns. A reuse approach is presented that is based on claims, de...
Shahtab Wahid
ATAL
2010
Springer
13 years 10 months ago
Adaptive expressiveness: virtual conversational agents that can align to their interaction partner
Speakers in dialogue tend to adapt to each other by starting to use similar lexical items, syntactic structures, or gestures. This behaviour, called alignment, may serve important...
Hendrik Buschmeier, Kirsten Bergmann, Stefan Kopp