ACTA
2007
13 years 11 months ago
2007
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...
ACTA
2007
13 years 11 months ago
2007
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
ACTA
2007
13 years 11 months ago
2007
Abstract This paper explores different means of representation for algebraic transductions, i.e., word relations realized by pushdown transducers. The relevance of this work lies m...
ACTA
2007
13 years 11 months ago
2007
XSLT is a standard rule-based programming language for expressing transformations of XML data. The language is currently in tran