Although theoretically it is very powerful, the semantic path ordering (SPO) is not so udeful in practice, since its monotonicity has to be proved by hand for each concrete term rewrite system (TRS). ...

In this paper we use a nonlinear processing technique based on mathematical morphology to develop a simple day trading system that automatically decides the timing to commute the marked strategy in ...