Sciweavers

294 search results - page 8 / 59
» Relational Modality
Sort
View
KI
2008
Springer
14 years 9 months ago
Shallow Models for Non-iterative Modal Logics
Abstract. Modal logics see a wide variety of applications in artificial intelligence, e.g. in reasoning about knowledge, belief, uncertainty, agency, defaults, and relevance. From ...
Lutz Schröder, Dirk Pattinson
SEMCO
2007
IEEE
15 years 4 months ago
Automatic Generation of Multi-Modal Dialogue from Text Based on Discourse Structure Analysis
In this paper, we propose a novel method for generating engaging multi-modal content automatically from text. Rhetorical Structure Theory (RST) is used to decompose text into disc...
Helmut Prendinger, Paul Piwek, Mitsuru Ishizuka
FOSSACS
2008
Springer
14 years 11 months ago
A Modal Deconstruction of Access Control Logics
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
Deepak Garg, Martín Abadi
CHI
2006
ACM
15 years 10 months ago
Modalities for building relationships with handheld computer agents
In this paper we describe the design of a relational agent interface for handheld computers and the results of a study exploring the effectiveness of different useragent interacti...
Timothy W. Bickmore, Daniel Mauer
PERVASIVE
2010
Springer
15 years 2 months ago
Active Capacitive Sensing: Exploring a New Wearable Sensing Modality for Activity Recognition
Abstract. The paper describes the concept, implementation, and evaluation of a new on-body capacitive sensing approach to derive activity related information. Using conductive text...
Jingyuan Cheng, Oliver Amft, Paul Lukowicz