Sciweavers

861 search results - page 52 / 173
» A General Framework for Knowledge Compilation
Sort
View
KR
2004
Springer
15 years 3 months ago
A Split-Combination Method for Merging Inconsistent Possibilistic Knowledge Bases
In this paper, a new method for merging multiple inconsistent knowledge bases in the framework of possibilistic logic is presented. We divide the fusion process into two steps: on...
Guilin Qi, Weiru Liu, David H. Glass
CRYPTO
2011
Springer
180views Cryptology» more  CRYPTO 2011»
13 years 9 months ago
Leakage-Resilient Zero Knowledge
In this paper, we initiate a study of zero knowledge proof systems in the presence of sidechannel attacks. Specifically, we consider a setting where a cheating verifier is allow...
Sanjam Garg, Abhishek Jain 0002, Amit Sahai
AH
2008
Springer
15 years 4 months ago
A Validation Framework for Formal Models in Adaptive Work-Integrated Learning
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...
Barbara Kump
KDD
2000
ACM
115views Data Mining» more  KDD 2000»
15 years 1 months ago
A framework for specifying explicit bias for revision of approximate information extraction rules
Information extraction is one of the most important techniques used in Text Mining. One of the main problems in building information extraction (IE) systems is that the knowledge ...
Ronen Feldman, Yair Liberzon, Binyamin Rosenfeld, ...
AGI
2011
14 years 1 months ago
Extending Cognitive Architectures with Semantic Resources
This paper presents an integrated modeling framework where the learning and knowledge retrieval mechanisms of the ACT-R cognitive architecture are combined with a semantic resource...
Alessandro Oltramari, Christian Lebiere