2932 search results - page 4 / 587 » Higher order mining |
94
Voted
EDM
2009
15 years 1 months ago
2009
144
Voted
KDD
2007
ACM
16 years 4 months ago
2007
ACM
Abstract. As more and more person-specific data like health information becomes available, increasing attention is paid to confidentiality and privacy protection. One proposed mode...
177
click to vote
FROCOS
2011
Springer
14 years 3 months ago
2011
Springer
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
146
click to vote
TPHOL
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
129
click to vote
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by adapting the recursive path ordering definition to terms of a typed ...