Sciweavers

5675 search results - page 1 / 1135
» Formalising Performative Interaction
Sort
View
DSVIS
2005
Springer
14 years 17 days 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, ...
ATAL
2005
Springer
14 years 17 days ago
Formalising trust for online communities
Provision of services within a virtual framework for resource sharing across institutional boundaries has become an active research area. Many such services encode access to compu...
Ali Shaikh Ali, Omer F. Rana
MKM
2005
Springer
14 years 15 days ago
An Interactive Algebra Course with Formalised Proofs and Definitions
Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel ...
AI
2004
Springer
13 years 6 months ago
An attempt to formalise a non-trivial benchmark problem in common sense reasoning
Most logic-based AI research works at a meta-theoretical level, producing new logics and studying their properties. Little effort is made to show how these logics can be used to f...
Murray Shanahan
SEFM
2005
IEEE
14 years 18 days ago
Formalising Control in Robust Spoken Dialogue Systems
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
Hui Shi, Robert J. Ross, John A. Bateman