Sciweavers

3248 search results - page 334 / 650
» Contexts for Human Action
Sort
View
DSVIS
2005
Springer
15 years 11 months ago
Formalising Performative Interaction
Abstract. In this paper we attempt to formalise some of the basic attributes of performative interaction against a background of sociological analysis in order to better understand...
Alan J. Dix, Jennifer G. Sheridan, Stuart Reeves, ...
IFIP
2004
Springer
15 years 11 months ago
Complementing Computational Protocol Analysis with Formal Specifications
Abstract The computational proof model of Bellare and Rogaway for cryptographic protocol analysis is complemented by providing a formal specification of the actions of the adversa...
Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchco...
ATAL
2003
Springer
15 years 11 months ago
Adjustable Autonomy Challenges in Personal Assistant Agents: A Position Paper
The successful integration and acceptance of many multi-agent systems into daily lives crucially depends on the ability to develop effective policies for adjustable autonomy. Adju...
Rajiv T. Maheswaran, Milind Tambe, Pradeep Varakan...
HICSS
2002
IEEE
92views Biometrics» more  HICSS 2002»
15 years 11 months ago
Student Model of Historical Text Comprehension
: In this contribution we present a Learner Model (LM) of Historical Text Comprehension (HTC), which infers the cognitive profile of learner’s global comprehension concerning the...
Grammatiki Tsaganou, Maria Grigoriadou, Theodora C...
CHI
2009
ACM
15 years 10 months ago
Origami simulator: a multi-touch experience
We present a 3D origami simulator with multi-touch interaction. This is a preliminary exploration of manipulating 3D models with multi-touch. Following a user centered approach, w...
Samuel Hsiao-Heng Chang, Lachlan Stuart, Beryl Pli...