7379 search results - page 1058 / 1476 » How Many Clusters |
163
click to vote
RSFDGRC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Association rule algorithms often generate an excessive number of rules, many of which are not significant. It is difficult to determine which rules are more useful, int...
173
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
Solvers for Quantified Boolean Formulae (QBF) use many analogues of technique from SAT. A significant amount of work has gone into extending conflict based techniques such as co...
152
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
Advances in SAT solver technology have enabled many automated analysis and reasoning tools to reduce their input problem to a SAT problem, and then to use an efficient SAT solver ...
161
click to vote
SEKE
2005
Springer
15 years 11 months ago
2005
Springer
Generics (templates) attempt to unify similar program structures to avoid redundancy. How well do generics serve this purpose in practice? We try to answer this question through e...
157
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
A common practice in conceptual modeling is to separate the conceptual from the data model. Although very intuitive, this approach is inadequate for many complex domains, in which...