530 search results - page 57 / 106 » An Algorithm for Approximating the Satisfiability Problem of... |
ICTIR
2009
Springer
14 years 2 months ago
2009
Springer
We review the history of modeling score distributions, focusing on the mixture of normal-exponential by investigating the theoretical as well as the empirical evidence supporting i...
IR
2011
12 years 11 months ago
2011
We review the history of modeling score distributions, focusing on the mixture of normal-exponential by investigating the theoretical as well as the empirical evidence supporting i...
IANDC
2008
13 years 8 months ago
2008
In the area of Description Logic (DL), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problem...
ACM
1995
13 years 11 months ago
1995
We study properties of rough sets, that is, approximations to sets of records in a database or, more formally, to subsets of the universe of an information system. A rough set is a...
ICDT
2010
ACM
14 years 2 min ago
2010
ACM
Given a database instance and a corresponding view instance, we address the view definitions problem (VDP): Find the most succinct and accurate view definition, when the view quer...