870 search results - page 75 / 174 » Theoretical and experimental results on the goal-plan tree p... |
PVLDB
2010
14 years 8 months ago
2010
The recent literature has provided a solid theoretical foundation for the use of schema mappings in data-exchange applications. Following this formalization, new algorithms have b...
KDD
2012
ACM
13 years 8 days ago
2012
ACM
In order to minimize redundancy and optimize coverage of multiple user interests, search engines and recommender systems aim to diversify their set of results. To date, these dive...
120
click to vote
DLT
2009
14 years 7 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
ISBI
2009
IEEE
15 years 4 months ago
2009
IEEE
We address the problem of zero-order-free image reconstruction in digital holographic microscopy. We show how the goal can be achieved by confining the object-wave modulation to ...
168
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
In uncertain and probabilistic databases, confidence values (or probabilities) are associated with each data item. Confidence values are assigned to query results based on combinin...