Sciweavers

7960 search results - page 357 / 1592
» Systems for Knowledge and Beliefs
Sort
View
NAACL
2004
15 years 8 months ago
Predicting Emotion in Spoken Dialogue from Multiple Knowledge Sources
We examine the utility of multiple types of turn-level and contextual linguistic features for automatically predicting student emotions in human-human spoken tutoring dialogues. W...
Katherine Forbes-Riley, Diane J. Litman
SP
2008
IEEE
132views Security Privacy» more  SP 2008»
15 years 5 months ago
Zero-Knowledge in the Applied Pi-calculus and Automated Verification of the Direct Anonymous Attestation Protocol
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
Michael Backes, Matteo Maffei, Dominique Unruh
ICTAI
2009
IEEE
15 years 4 months ago
A Knowledge-Light Nonlinear Case-Based Reasoning Approach to Radiotherapy Planning
Radiation is often used in prostate cancer treatments. Radiotherapy treatment planning is a complex decision making process. In order to make a patient well, the oncologist has to...
Nishikant Mishra, Sanja Petrovic, Santhanam Sundar
ECAI
1998
Springer
15 years 11 months ago
Integrating Abduction and Induction
In this paper we describe an approach for integrating abduction and induction in the ILP setting of learning from interpretations with the aim of solving the problem of incomplete...
Fabrizio Riguzzi
ECSQARU
2007
Springer
15 years 10 months ago
Approaches to Constructing a Stratified Merged Knowledge Base
Many merging operators have been proposed to merge either flat or stratified knowledge bases. The result of merging by such an operator is a flat base (or a set of models of the me...
Anbu Yue, Weiru Liu, Anthony Hunter