8512 search results - page 246 / 1703 » Computing Theory With Relevance |
134
Voted
ICPR
2006
IEEE
16 years 7 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...
170
click to vote
COLING
2010
15 years 1 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...
175
click to vote
RELMICS
2001
Springer
15 years 11 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...
162
click to vote
BIRTHDAY
2006
Springer
15 years 10 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...
163
click to vote
BIRTHDAY
2010
Springer
15 years 6 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...