2932 search results - page 6 / 587 » Higher order mining |
KDD
2000
ACM
15 years 3 months ago
2000
ACM
TPHOL
1997
IEEE
15 years 3 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
116
click to vote
IFL
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
106
click to vote
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
Higher order energy functions have the ability to encode
high level structural dependencies between pixels, which
have been shown to be extremely powerful for image labeling
pro...
CSC
2006
15 years 1 months ago
2006
: - There are many numerical methods adopted to solve mathematical problems. Early researchers focused on the methods to reduce computational costs. In recent years, reduction in c...