2423 search results - page 191 / 485 » AnswerArt - Contextualized Question Answering |
163
click to vote
EDBT
2012
ACM
13 years 9 months ago
2012
ACM
In this paper we review the history of systems for managing “Big Data” as well as today’s activities and architectures from the (perhaps biased) perspective of three “data...
194
click to vote
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
In this paper, we define a family of syntactic kernels for automatic relational learning from pairs of natural language sentences. We provide an efficient computation of such mode...
169
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...
147
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
A boolean formula in conjunctive normal form (CNF) F is refuted by literal?once resolution if the empty clause is inferred from F by resolving on each literal of F at most once. Li...
225
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
Date's popular critique of SQL's three-valued logic [4, 3] purports to demonstrate that SQL queries can produce erroneous results when nulls are present in the database....