Sciweavers

1495 search results - page 175 / 299
» Confirmation in Multimodal Systems
Sort
View
IJCAI
1997
14 years 11 months ago
On Evaluating Decision Procedures for Modal Logic
This paper investigates the evaluation method of decision procedures for multi-modal logic proposed by Giunchiglia and Sebastiani as an adaptation from the evaluation method of Mi...
Ullrich Hustadt, Renate A. Schmidt
BIRTHDAY
2010
Springer
14 years 10 months ago
Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners)
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
Christoph Benzmüller
DSS
2007
128views more  DSS 2007»
14 years 10 months ago
Toward an interoperable dynamic network analysis toolkit
To facilitate the analysis of real and simulated data on groups, organizations and societies, tools and measures are needed that can handle relational or network data that is mult...
Kathleen M. Carley, Jana Diesner, Jeffrey Reminga,...
CG
2004
Springer
14 years 9 months ago
Magic wand and the Enigma of the Sphinx
This paper presents an evaluation of the benefits and user acceptance of a multimodal interface in which the user interacts with a game-like interactive virtual reality applicatio...
Tolga Abaci, Rachel de Bondeli, Ján C&iacut...
CACM
2000
116views more  CACM 2000»
14 years 9 months ago
Embodied Conversational Interface Agents+
People engage in small talk and conversational storytelling to provide information in engaging ways and to serve interpersonal goals such as building rapport and credibility. Embo...
Justine Cassell