Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952034163> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2952034163 abstract "We consider the state-minimisation problem for weighted and probabilistic automata. We provide a numerically stable polynomial-time minimisation algorithm for weighted automata, with guaranteed bounds on the numerical error when run with floating-point arithmetic. Our algorithm can also be used for lossy minimisation with bounded error. We show an application in image compression. In the second part of the paper we study the complexity of the minimisation problem for probabilistic automata. We prove that the problem is NP-hard and in PSPACE, improving a recent EXPTIME-result." @default.
- W2952034163 created "2019-06-27" @default.
- W2952034163 creator A5054782057 @default.
- W2952034163 creator A5076010669 @default.
- W2952034163 date "2014-04-26" @default.
- W2952034163 modified "2023-09-27" @default.
- W2952034163 title "Stability and Complexity of Minimising Probabilistic Automata" @default.
- W2952034163 cites W101236918 @default.
- W2952034163 cites W1506437980 @default.
- W2952034163 cites W1569214028 @default.
- W2952034163 cites W1584292662 @default.
- W2952034163 cites W177913229 @default.
- W2952034163 cites W1936778259 @default.
- W2952034163 cites W1997545301 @default.
- W2952034163 cites W2017400043 @default.
- W2952034163 cites W2027671360 @default.
- W2952034163 cites W2040834199 @default.
- W2952034163 cites W2050570613 @default.
- W2952034163 cites W2067754486 @default.
- W2952034163 cites W2092590148 @default.
- W2952034163 cites W2138769606 @default.
- W2952034163 cites W2798909945 @default.
- W2952034163 cites W3022909171 @default.
- W2952034163 hasPublicationYear "2014" @default.
- W2952034163 type Work @default.
- W2952034163 sameAs 2952034163 @default.
- W2952034163 citedByCount "0" @default.
- W2952034163 crossrefType "posted-content" @default.
- W2952034163 hasAuthorship W2952034163A5054782057 @default.
- W2952034163 hasAuthorship W2952034163A5076010669 @default.
- W2952034163 hasConcept C105795698 @default.
- W2952034163 hasConcept C112505250 @default.
- W2952034163 hasConcept C11413529 @default.
- W2952034163 hasConcept C126255220 @default.
- W2952034163 hasConcept C134306372 @default.
- W2952034163 hasConcept C154945302 @default.
- W2952034163 hasConcept C165021410 @default.
- W2952034163 hasConcept C174784677 @default.
- W2952034163 hasConcept C179799912 @default.
- W2952034163 hasConcept C197685441 @default.
- W2952034163 hasConcept C24404364 @default.
- W2952034163 hasConcept C33923547 @default.
- W2952034163 hasConcept C34388435 @default.
- W2952034163 hasConcept C41008148 @default.
- W2952034163 hasConcept C49937458 @default.
- W2952034163 hasConcept C80444323 @default.
- W2952034163 hasConcept C86941820 @default.
- W2952034163 hasConceptScore W2952034163C105795698 @default.
- W2952034163 hasConceptScore W2952034163C112505250 @default.
- W2952034163 hasConceptScore W2952034163C11413529 @default.
- W2952034163 hasConceptScore W2952034163C126255220 @default.
- W2952034163 hasConceptScore W2952034163C134306372 @default.
- W2952034163 hasConceptScore W2952034163C154945302 @default.
- W2952034163 hasConceptScore W2952034163C165021410 @default.
- W2952034163 hasConceptScore W2952034163C174784677 @default.
- W2952034163 hasConceptScore W2952034163C179799912 @default.
- W2952034163 hasConceptScore W2952034163C197685441 @default.
- W2952034163 hasConceptScore W2952034163C24404364 @default.
- W2952034163 hasConceptScore W2952034163C33923547 @default.
- W2952034163 hasConceptScore W2952034163C34388435 @default.
- W2952034163 hasConceptScore W2952034163C41008148 @default.
- W2952034163 hasConceptScore W2952034163C49937458 @default.
- W2952034163 hasConceptScore W2952034163C80444323 @default.
- W2952034163 hasConceptScore W2952034163C86941820 @default.
- W2952034163 hasLocation W29520341631 @default.
- W2952034163 hasOpenAccess W2952034163 @default.
- W2952034163 hasPrimaryLocation W29520341631 @default.
- W2952034163 hasRelatedWork W1571530710 @default.
- W2952034163 hasRelatedWork W1843100083 @default.
- W2952034163 hasRelatedWork W197042591 @default.
- W2952034163 hasRelatedWork W1992926795 @default.
- W2952034163 hasRelatedWork W2001832122 @default.
- W2952034163 hasRelatedWork W2037534739 @default.
- W2952034163 hasRelatedWork W2043749185 @default.
- W2952034163 hasRelatedWork W2166172188 @default.
- W2952034163 hasRelatedWork W2314082161 @default.
- W2952034163 hasRelatedWork W2341092422 @default.
- W2952034163 hasRelatedWork W2790047024 @default.
- W2952034163 hasRelatedWork W2886052471 @default.
- W2952034163 hasRelatedWork W2902287762 @default.
- W2952034163 hasRelatedWork W2914779286 @default.
- W2952034163 hasRelatedWork W2951651415 @default.
- W2952034163 hasRelatedWork W2963083258 @default.
- W2952034163 hasRelatedWork W2996175894 @default.
- W2952034163 hasRelatedWork W3098889536 @default.
- W2952034163 hasRelatedWork W3172327411 @default.
- W2952034163 hasRelatedWork W2178684067 @default.
- W2952034163 isParatext "false" @default.
- W2952034163 isRetracted "false" @default.
- W2952034163 magId "2952034163" @default.
- W2952034163 workType "article" @default.