2932 search results - page 46 / 587 » Higher order mining |
124
Voted
GC
2004
Springer
15 years 10 months ago
2004
Springer
98
Voted
RT
2004
Springer
15 years 10 months ago
2004
Springer
140
Voted
RTA
2004
Springer
15 years 10 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...
164
click to vote
UPP
2004
Springer
15 years 10 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...
123
click to vote
ISCAS
2003
IEEE
15 years 10 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...