Sciweavers

294 search results - page 8 / 59
» Relational Modality
Sort
View
KI
2008
Springer
14 years 11 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 6 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
15 years 1 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
16 years 6 days 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 5 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