8141 search results - page 108 / 1629 » Higher Order Generalization |
116
Voted
JCST
2008
15 years 1 months ago
2008
This paper presents some new algorithms to efficiently mine max frequent generalized itemsets (g-itemsets) and essential generalized association rules (g-rules). These are compact ...
116
Voted
ORDER
2008
15 years 1 months ago
2008
Orthogonal surfaces are nice mathematical objects which have interesting connections to various fields, e.g., integer programming, monomial ideals and order dimension. While orthog...
102
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Competent Genetic Algorithms can efficiently address problems in which the linkage between variables is limited to a small order k. Problems with higher order dependencies can onl...
136
Voted
SAC
2011
ACM
14 years 4 months ago
2011
ACM
Higher-Order Logic (HOL) is based on a small logic kernel, whose
109
Voted
TPHOL
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...