Sciweavers

15 search results - page 1 / 3
» Weighted finite automata over strong bimonoids
Sort
View
ISCI
2010
110views more  ISCI 2010»
13 years 3 months ago
Weighted finite automata over strong bimonoids
: We investigate weighted finite automata over strings and strong bimonoids. Such algebraic structures satisfy the same laws as semirings except that no distributivity laws need t...
Manfred Droste, Torsten Stüber, Heiko Vogler
LATA
2010
Springer
13 years 11 months ago
Using Sums-of-Products for Non-standard Reasoning
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
Rafael Peñaloza
CORR
2008
Springer
110views Education» more  CORR 2008»
13 years 5 months ago
Rational streams coalgebraically
Abstract. We study rational streams (over a field) from a coalgebraic perspective. Exploiting the finality of the set of streams, we present an elementary and uniform proof of the ...
Jan J. M. M. Rutten
JUCS
2010
119views more  JUCS 2010»
13 years 3 months ago
On Succinct Representations of Textured Surfaces by Weighted Finite Automata
: Generalized finite automata with weights for states and transitions have been successfully applied to image generation for more than a decade now. Bilevel images (black and whit...
Jürgen Albert, German Tischler
DLT
2004
13 years 6 months ago
Relating Tree Series Transducers and Weighted Tree Automata
Bottom-up tree series transducers (tst) over the semiring A are implemented with the help of bottom-up weighted tree automata (wta) over an extension of A. Therefore bottom-up D-w...
Andreas Maletti