Sciweavers

572 search results - page 28 / 115
» What do usability evaluators do in practice
Sort
View
ARGMAS
2008
Springer
14 years 20 days ago
Co-ordination and Co-operation in Agent Systems: Social Laws and Argumentation
The social laws paradigm represents an important approach to the co-ordination of behaviour in multi-agent systems. In this paper we examine the relationship between social laws an...
Katie Atkinson, Trevor J. M. Bench-Capon
NFM
2011
306views Formal Methods» more  NFM 2011»
13 years 5 months ago
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis
Synthesis of finite-state machines from linear-time temporal logic (LTL) formulas is an important formal specification debugging technique for reactive systems and can quickly ge...
Rüdiger Ehlers
PERVASIVE
2007
Springer
14 years 4 months ago
Intrusive and Non-intrusive Evaluation of Ambient Displays
This paper addresses two problems: “What are the appropriate methods for evaluating information systems?” and “How do we measure the impact of ambient information systems?...
Xiaobin Shen, Peter Eades, Seok-Hee Hong, Andrew V...
EACL
2010
ACL Anthology
14 years 3 days ago
Towards Empirical Evaluation of Affective Tactical NLG
One major aim of research in affective natural language generation is to be able to use language intelligently to induce effects on the emotions of the reader/ hearer. Although va...
Ielka van der Sluis, Chris Mellish
IAT
2010
IEEE
13 years 8 months ago
Design and Evaluation of Explainable BDI Agents
It is widely acknowledged that providing explanations is an important capability of intelligent systems. Explanation capabilities are useful, for example, in scenario-based traini...
Maaike Harbers, Karel van den Bosch, John-Jules Ch...