3771 search results - page 145 / 755 » Subobject Transformation Systems |
115
Voted
FSTTCS
1993
Springer
15 years 7 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
104
Voted
IJBC
2006
15 years 3 months ago
2006
We consider several discrete dynamical systems for which some invariants can be found. Our study includes complex M
115
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
In this note, the novel representation is proposed for a linear periodic continuous-time system with T-periodic real-valued coefficients. We prove that a T-periodic real-valued fac...
151
Voted
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Diversity and memory are two major mechanisms used in biology to keep the adaptability of organisms in the everchanging environment in nature. These mechanisms can be integrated i...
132
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...