2932 search results - page 46 / 587 » Higher order mining |
GC
2004
Springer
15 years 5 months ago
2004
Springer
RT
2004
Springer
15 years 5 months ago
2004
Springer
RTA
2004
Springer
15 years 5 months 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...
111
click to vote
UPP
2004
Springer
15 years 5 months ago
2004
Springer
The chemical reaction metaphor describes computation in terms of a chemical solution in which molecules interact freely according to reaction rules. Chemical solutions are represen...
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
The aim of this paper is to describe various types of synchronization phenomena discovered in our earlier studies of dynamics of Cellular Nonlinear Networks composed of locally in...