8141 search results - page 3 / 1629 » Higher Order Generalization |
FSTTCS
2004
Springer
14 years 27 days ago
2004
Springer
We consider the problem of symbolic reachability analysis of higher-order context-free processes. These models are generalizations of the context-free processes (also called BPA pr...
AGP
1999
IEEE
13 years 11 months ago
1999
IEEE
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
RTA
2004
Springer
14 years 26 days ago
2004
Springer
Several authors devised type-based termination criteria for ML-like languages allowing non-structural recursive calls. We extend these works to general rewriting and dependent type...
CSSE
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper introduces an adaptive Higher Order Neural Network (HONN) model and applies it in data mining such as simulating and forecasting government taxation revenues. The propo...
DAGSTUHL
2010
13 years 9 months ago
2010
While tensors occur in many areas of science and engineering, little has been done to visualize tensors with order higher than two. Tensors of higher orders can be used for exampl...