1193 search results - page 10 / 239 » A primer of simple theories |
101
click to vote
IMPERIAL
1993
15 years 3 months ago
1993
This work expounds the notion that (structured) categories are syntax free presentations of type theories, and shows some of the ideas involved in deriving categorical semantics f...
PPDP
2007
Springer
15 years 5 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
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...
AE
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. The standard choice for mutating an individual of an evolutionary algorithm with continuous variables is the normal distribution. It is shown that there is a broad class ...
IEEEICCI
2007
IEEE
15 years 6 months ago
2007
IEEE
— The theory that Electoral College is more stable than Direct Popular Vote is applied in face recognition. By simplly adopting most traditional PCA approach, the experiments in ...