1095 search results - page 84 / 219 » Algebraic Guide Generation |
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...
LION
2010
Springer
14 years 17 days ago
2010
Springer
The interactive decision making (IDM) methods exploit the preference information from the decision maker during the optimization task to guide the search towards favourite solution...
CGF
2004
13 years 9 months ago
2004
In the paper, a new method for modelling trees at medium detail is presented. The method is based on a volumetric representation of trees, generated by an iterated function system...
CADE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
DLT
2006
13 years 10 months ago
2006
Abstract. We show that some language theoretic and logical characterizations of recognizable word languages whose syntactic monoid is in the variety DA also hold over traces. To th...