1067 search results - page 94 / 214 » Problem Solving in the DISCO Constraint Database System |
CPAIOR
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
144
click to vote
SIGMOD
2005
ACM
15 years 10 months ago
2005
ACM
Data analysts need to understand the quality of data in the warehouse. This is often done by issuing many Group By queries on the sets of columns of interest. Since the volume of ...
126
click to vote
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
139
click to vote
SIGMOD
2008
ACM
15 years 10 months ago
2008
ACM
The storage manager of a general-purpose database system can retain consistent disk page level snapshots and run application programs "back-in-time" against long-lived p...
KDD
2006
ACM
15 years 10 months ago
2006
ACM
Classification has been commonly used in many data mining projects in the financial service industry. For instance, to predict collectability of accounts receivable, a binary clas...