2835 search results - page 483 / 567 » Automatic Question Answering |
167
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
164
click to vote
STOC
2009
ACM
16 years 6 months ago
2009
ACM
The paper concerns graph spanners that are resistant to vertex or edge failures. Given a weighted undirected n-vertex graph G = (V, E) and an integer k 1, the subgraph H = (V, E ...
149
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
We propose a method for measuring the quality of a grouping result, based on the following observation: a better grouping result provides more information about the true, unknown g...
289
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
Authority flow is an effective ranking mechanism for answering queries on a broad class of data. Systems have been developed to apply this principle on the Web (PageRank and topic ...
258
click to vote
ICDE
1999
IEEE
16 years 7 months ago
1999
IEEE
Indexes play a vital role in decision support systems by reducing the cost of answering complex queries. A popular methodology for choosing indexes that is adopted by database adm...