2647 search results - page 164 / 530 » Solving Term Inequalities |
116
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
For the TREC-style questions, the query terms we get from the original questions are either too brief or often do not contain much relevant information in the corpus. It will be v...
217
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...
132
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
In this paper we compare the affordances of presenting educational material on a tabletop display with presenting the same material using traditional paper handouts. Ten pairs of ...
139
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
202
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
We demonstrate a novel query interface that enables users to construct a rich search query without any prior knowledge of the underlying schema or data. The interface, which is in...