2501 search results - page 102 / 501 » Logics with Rank Operators |
75
Voted
FSS
2006
15 years 24 days ago
2006
An implication operator A is said to be tied if there is a binary operation T that ties A; that is, the identity A(a, A(b, z)) = A(T (a, b), z) holds for all a, b, z. We aim at th...
133
click to vote
JLP
2011
14 years 7 months ago
2011
Formal languages for policy have been developed for access control and conformance checking. In this paper, we describe a formalism that combines features that have been developed...
102
Voted
VLDB
1990
ACM
15 years 4 months ago
1990
ACM
A probabilistic learning model for vague queries and missing or imprecise information in databases is described. Instead of retrieving only a set of answers, our approach yields a...
71
Voted
IJCAI
2007
15 years 2 months ago
2007
This paper presents a novel approach for extracting high-quality <thread-title, reply> pairs as chat knowledge from online discussion forums so as to efficiently support the...
CORR
2010
Springer
15 years 27 days ago
2010
Springer
In this report, we unify two quite distinct approaches to information retrieval: region models and language models. Region models were developed for structured document retrieval....