The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Real functions on the domain – often used to describe digital images – allow for different well-known types of binary operations. In this note, we recapitulate how weighted finite automata can be used in order to represent those functions and how certain binary operations are reflected in the theory of these automata. Different types of products of automata are employed, including the seldomly-used full cartesian product. We show, however, the infeasibility of functional composition; simple examples...
Real functions on the domain [0,1)n – often used to describe digital
images – allow for different well-known types of binary operations. In this
note, we recapitulate how weighted finite automata can be used in order to
represent those functions and how certain binary operations are reflected in
the theory of these automata. Different types of products of automata are employed, including
the seldomly-used full Cartesian product. We show, however, the infeasibility
of functional composition; simple...
More than a decade ago, Moller and Tofts published their seminal work on relating processes, which are annotated with lower time bounds, with respect to speed. Their paper has left open many questions regarding the semantic theory for the suggested bisimulation-based faster-than preorder, the MT-preorder, which have not been addressed since. The encountered difficulties concern a general compositionality result, a complete axiom system for finite processes, a convincing intuitive justification of...
More than a decade ago, Moller and Tofts published their seminal
work on relating processes, which are annotated with lower time
bounds, with respect to speed. Their paper has left open many
questions regarding the semantic theory for the suggested
bisimulation-based faster-than preorder, the MT-preorder, which
have not been addressed since. The encountered difficulties concern
a general compositionality result, a complete axiom system for
finite processes, a convincing intuitive justification...
Currently displaying 1 –
4 of
4