2233 search results - page 40 / 447 » Modular type classes |
100
click to vote
RTA
2010
Springer
15 years 3 months ago
2010
Springer
We show that, contrary to the situation in first-order term rewriting, almost none of the usual properties of rewriting are modular for higher-order rewriting, irrespective of the...
ENTCS
2006
14 years 12 months ago
2006
In general, invariants may depend on the state of other objects. The approach introduced in this paper allows this for objects of mutually visible classes, in a way that supports ...
NECO
2007
14 years 11 months ago
2007
Recently Izhikevich (2003) proposed a new canonical neuron model of spike generation. The model was surprisingly simple, yet able to accurately replicate the firing patterns of d...
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
MVA
1996
15 years 1 months ago
1996
In this paper, a new method for designing modularized vision systems using a distributed cooperative architectures was introduced. In this method, the target of vision is defined ...