516 search results - page 90 / 104 » Retroactive answering of search queries |
100
click to vote
AICOM
2010
15 years 2 months ago
2010
SOLAR (SOL for Advanced Reasoning) is a first-order clausal consequence finding system based on the SOL (Skip Ordered Linear) tableau calculus. The ability to find non-trivial cons...
146
Voted
SIGIR
2011
ACM
14 years 4 months ago
2011
ACM
A key challenge in recommender system research is how to effectively profile new users, a problem generally known as cold-start recommendation. Recently the idea of progressivel...
129
Voted
ICAIL
2009
ACM
15 years 8 months ago
2009
ACM
We present the first report of automatic sentiment summarization in the legal domain. This work is based on processing a set of legal questions with a system consisting of a semi...
131
Voted
NIL
1991
15 years 5 months ago
1991
In this paper we consider supernormal defaults [Poo88] with a strict partial order defining their priorities [Bre91]. We investigate their relation to minimal or preferential ent...
121
click to vote
CPM
2010
Springer
15 years 6 months ago
2010
Springer
The field of compressed data structures seeks to achieve fast search time, but using a compressed representation, ideally requiring less space than that occupied by the original i...