1458 search results - page 82 / 292 » Extended Term Rewriting Systems |
IJSI
2008
14 years 10 months ago
2008
In [19], Toyama proved that the union of two confluent term-rewriting systems that share absolutely no function symbols or constants is likewise confluent, a property called modula...
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
In nature, systems with enormous numbers of components (i.e. cells) are evolved from a relatively small genotype. It has not yet been demonstrated that artificial evolution is su...
CIDR
2009
14 years 11 months ago
2009
R is a numerical computing environment that is widely popular for statistical data analysis. Like many such environments, R performs poorly for large datasets whose sizes exceed t...
APAL
2007
14 years 10 months ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
For a large class of switched systems with zeno phenomenon, classical observer cannot be applied directly since the terms leading to zeno phenomenon are not derivable. However in t...