FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136454149> ?p ?o ?g. }

• W3136454149 endingPage "727" @default.
• W3136454149 startingPage "695" @default.
• W3136454149 abstract "Abstract Partition refinement is a method for minimizing automata and transition systems of various types. Recently, we have developed a partition refinement algorithm that is generic in the transition type of the given system and matches the run time of the best known algorithms for many concrete types of systems, e.g. deterministic automata as well as ordinary, weighted, and probabilistic (labelled) transition systems. Genericity is achieved by modelling transition types as functors on sets, and systems as coalgebras. In the present work, we refine the run time analysis of our algorithm to cover additional instances, notably weighted automata and, more generally, weighted tree automata. For weights in a cancellative monoid we match, and for non-cancellative monoids such as (the additive monoid of) the tropical semiring even substantially improve, the asymptotic run time of the best known algorithms. We have implemented our algorithm in a generic tool that is easily instantiated to concrete system types by implementing a simple refinement interface. Moreover, the algorithm and the tool are modular, and partition refiners for new types of systems are obtained easily by composing pre-implemented basic functors. Experiments show that even for complex system types, the tool is able to handle systems with millions of transitions." @default.
• W3136454149 created "2021-03-29" @default.
• W3136454149 creator A5015904690 @default.
• W3136454149 creator A5050747754 @default.
• W3136454149 creator A5059938244 @default.
• W3136454149 creator A5073765060 @default.
• W3136454149 date "2021-08-01" @default.
• W3136454149 modified "2023-09-23" @default.
• W3136454149 title "From generic partition refinement to weighted tree automata minimization" @default.
• W3136454149 cites W1503429725 @default.
• W3136454149 cites W1512419429 @default.
• W3136454149 cites W1528269269 @default.
• W3136454149 cites W1547562281 @default.
• W3136454149 cites W1563368561 @default.
• W3136454149 cites W1862398452 @default.
• W3136454149 cites W1963619740 @default.
• W3136454149 cites W1977137928 @default.
• W3136454149 cites W2021473546 @default.
• W3136454149 cites W2030681981 @default.
• W3136454149 cites W2031728268 @default.
• W3136454149 cites W2044811734 @default.
• W3136454149 cites W2050965526 @default.
• W3136454149 cites W2068361557 @default.
• W3136454149 cites W2074802267 @default.
• W3136454149 cites W2075690166 @default.
• W3136454149 cites W2088189323 @default.
• W3136454149 cites W2089409100 @default.
• W3136454149 cites W2091022743 @default.
• W3136454149 cites W2091177009 @default.
• W3136454149 cites W2095304972 @default.
• W3136454149 cites W2096488839 @default.
• W3136454149 cites W2110692415 @default.
• W3136454149 cites W2122493035 @default.
• W3136454149 cites W2124325155 @default.
• W3136454149 cites W2126438238 @default.
• W3136454149 cites W2137336375 @default.
• W3136454149 cites W2137865376 @default.
• W3136454149 cites W2139621418 @default.
• W3136454149 cites W2152691118 @default.
• W3136454149 cites W2160181753 @default.
• W3136454149 cites W2295804767 @default.
• W3136454149 cites W2663462053 @default.
• W3136454149 cites W2681991495 @default.
• W3136454149 cites W2742106719 @default.
• W3136454149 cites W2889056252 @default.
• W3136454149 cites W2978891950 @default.
• W3136454149 cites W2999586522 @default.
• W3136454149 cites W3103813054 @default.
• W3136454149 doi "https://doi.org/10.1007/s00165-020-00526-z" @default.
• W3136454149 hasPublicationYear "2021" @default.
• W3136454149 type Work @default.
• W3136454149 sameAs 3136454149 @default.
• W3136454149 citedByCount "2" @default.
• W3136454149 countsByYear W31364541492022 @default.
• W3136454149 countsByYear W31364541492023 @default.
• W3136454149 crossrefType "journal-article" @default.
• W3136454149 hasAuthorship W3136454149A5015904690 @default.
• W3136454149 hasAuthorship W3136454149A5050747754 @default.
• W3136454149 hasAuthorship W3136454149A5059938244 @default.
• W3136454149 hasAuthorship W3136454149A5073765060 @default.
• W3136454149 hasBestOaLocation W31364541491 @default.
• W3136454149 hasConcept C112505250 @default.
• W3136454149 hasConcept C11413529 @default.
• W3136454149 hasConcept C114614502 @default.
• W3136454149 hasConcept C118615104 @default.
• W3136454149 hasConcept C154945302 @default.
• W3136454149 hasConcept C156772000 @default.
• W3136454149 hasConcept C206901836 @default.
• W3136454149 hasConcept C21696900 @default.
• W3136454149 hasConcept C33923547 @default.
• W3136454149 hasConcept C41008148 @default.
• W3136454149 hasConcept C42812 @default.
• W3136454149 hasConcept C49937458 @default.
• W3136454149 hasConcept C80444323 @default.
• W3136454149 hasConceptScore W3136454149C112505250 @default.
• W3136454149 hasConceptScore W3136454149C11413529 @default.
• W3136454149 hasConceptScore W3136454149C114614502 @default.
• W3136454149 hasConceptScore W3136454149C118615104 @default.
• W3136454149 hasConceptScore W3136454149C154945302 @default.
• W3136454149 hasConceptScore W3136454149C156772000 @default.
• W3136454149 hasConceptScore W3136454149C206901836 @default.
• W3136454149 hasConceptScore W3136454149C21696900 @default.
• W3136454149 hasConceptScore W3136454149C33923547 @default.
• W3136454149 hasConceptScore W3136454149C41008148 @default.
• W3136454149 hasConceptScore W3136454149C42812 @default.
• W3136454149 hasConceptScore W3136454149C49937458 @default.
• W3136454149 hasConceptScore W3136454149C80444323 @default.
• W3136454149 hasFunder F4320320879 @default.
• W3136454149 hasIssue "4-5" @default.
• W3136454149 hasLocation W31364541491 @default.
• W3136454149 hasLocation W31364541492 @default.
• W3136454149 hasOpenAccess W3136454149 @default.
• W3136454149 hasPrimaryLocation W31364541491 @default.
• W3136454149 hasRelatedWork W1573261754 @default.
• W3136454149 hasRelatedWork W2137891929 @default.
• W3136454149 hasRelatedWork W2168411741 @default.
• W3136454149 hasRelatedWork W2939702225 @default.
• W3136454149 hasRelatedWork W2978891950 @default.

• next