Sciweavers

327 search results - page 5 / 66
» A Theory of Information-Flow Labels
Sort
View
CIKM
2005
Springer
15 years 3 months ago
Similarity measures for tracking information flow
Text similarity spans a spectrum, with broad topical similarity near one extreme and document identity at the other. Intermediate levels of similarity – resulting from summariza...
Donald Metzler, Yaniv Bernstein, W. Bruce Croft, A...
SIGIR
2012
ACM
13 years 1 days ago
Top-k learning to rank: labeling, ranking and evaluation
In this paper, we propose a novel top-k learning to rank framework, which involves labeling strategy, ranking model and evaluation measure. The motivation comes from the difficul...
Shuzi Niu, Jiafeng Guo, Yanyan Lan, Xueqi Cheng
UTP
2010
14 years 7 months ago
Unifying Theories of Confidentiality
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
Michael J. Banks, Jeremy L. Jacob
MICAI
2010
Springer
14 years 8 months ago
Combining Neural Networks Based on Dempster-Shafer Theory for Classifying Data with Imperfect Labels
This paper addresses the supervised learning in which the class membership of training data are subject to uncertainty. This problem is tackled in the framework of the Dempster-Sha...
Mahdi Tabassian, Reza Ghaderi, Reza Ebrahimpour
CALCO
2005
Springer
93views Mathematics» more  CALCO 2005»
15 years 3 months ago
Labels from Reductions: Towards a General Theory
We consider open terms and parametric rules in the context of the systematic derivation of labelled transitions from reduction systems.
Bartek Klin, Vladimiro Sassone, Pawel Sobocinski