8512 search results - page 246 / 1703 » Computing Theory With Relevance |
101
click to vote
ICPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper, we develop a new tool, called Component Analysis (CA), to study the significance of long Torah Code phrases. CA quantifies the relevance of such a phrase, by compar...
142
Voted
COLING
2010
14 years 11 months ago
2010
Re-ranking for Information Retrieval aims to elevate relevant feedbacks and depress negative ones in initial retrieval result list. Compared to relevance feedback-based re-ranking...
144
Voted
RELMICS
2001
Springer
15 years 9 months ago
2001
Springer
Groups are one of the most fundamental notions in mathematics. This paper provides a foundation of group theory in allegories. Almost all results in the paper can be applied to the...
140
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
We give necessary and sufficient conditions for the first-order theory of a finitely presented abelian lattice-ordered group to be decidable. We also show that if the number of gen...
133
Voted
BIRTHDAY
2010
Springer
15 years 5 months ago
2010
Springer
Let M = (A, <, P) where (A, <) is a linear ordering and P denotes a finite sequence of monadic predicates on A. We show that if A contains an interval of order type or -, an...