Matches in SemOpenAlex for { <https://semopenalex.org/work/W1995750667> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1995750667 abstract "Weighted automata are a conservative quantitative extension of finite automata that enjoys applications, e.g., in language processing and speech recognition. Their expressive power, however, appears to be limited, especially when they are applied to more general structures than words, such as graphs. To address this drawback, weighted automata have recently been generalized to weighted pebble walking automata, which proved useful as a tool for the specification and evaluation of quantitative properties over words and nested words. In this paper, we establish the expressive power of weighted pebble walking automata in terms of transitive closure logic, lifting a similar result by Engelfriet and Hoogeboom from the Boolean case to a quantitative setting. This result applies to general classes of graphs, including all the aforementioned classes." @default.
- W1995750667 created "2016-06-24" @default.
- W1995750667 creator A5013125228 @default.
- W1995750667 creator A5064833291 @default.
- W1995750667 creator A5066787748 @default.
- W1995750667 creator A5082538918 @default.
- W1995750667 date "2014-07-14" @default.
- W1995750667 modified "2023-10-18" @default.
- W1995750667 title "Logical characterization of weighted pebble walking automata" @default.
- W1995750667 cites W1557116728 @default.
- W1995750667 cites W1778516892 @default.
- W1995750667 cites W1978177681 @default.
- W1995750667 cites W1983682288 @default.
- W1995750667 cites W1994146759 @default.
- W1995750667 cites W2013085432 @default.
- W1995750667 cites W2015791837 @default.
- W1995750667 cites W2044309595 @default.
- W1995750667 cites W2063063505 @default.
- W1995750667 cites W2126766880 @default.
- W1995750667 cites W2131886132 @default.
- W1995750667 cites W3023568255 @default.
- W1995750667 cites W4205178514 @default.
- W1995750667 doi "https://doi.org/10.1145/2603088.2603118" @default.
- W1995750667 hasPublicationYear "2014" @default.
- W1995750667 type Work @default.
- W1995750667 sameAs 1995750667 @default.
- W1995750667 citedByCount "3" @default.
- W1995750667 countsByYear W19957506672015 @default.
- W1995750667 crossrefType "proceedings-article" @default.
- W1995750667 hasAuthorship W1995750667A5013125228 @default.
- W1995750667 hasAuthorship W1995750667A5064833291 @default.
- W1995750667 hasAuthorship W1995750667A5066787748 @default.
- W1995750667 hasAuthorship W1995750667A5082538918 @default.
- W1995750667 hasBestOaLocation W19957506672 @default.
- W1995750667 hasConcept C112505250 @default.
- W1995750667 hasConcept C11413529 @default.
- W1995750667 hasConcept C114793014 @default.
- W1995750667 hasConcept C116248031 @default.
- W1995750667 hasConcept C118615104 @default.
- W1995750667 hasConcept C127313418 @default.
- W1995750667 hasConcept C128896722 @default.
- W1995750667 hasConcept C171250308 @default.
- W1995750667 hasConcept C174327141 @default.
- W1995750667 hasConcept C192562407 @default.
- W1995750667 hasConcept C195818886 @default.
- W1995750667 hasConcept C199360897 @default.
- W1995750667 hasConcept C2777760186 @default.
- W1995750667 hasConcept C2778029271 @default.
- W1995750667 hasConcept C2780841128 @default.
- W1995750667 hasConcept C33923547 @default.
- W1995750667 hasConcept C41008148 @default.
- W1995750667 hasConcept C80444323 @default.
- W1995750667 hasConcept C92117001 @default.
- W1995750667 hasConceptScore W1995750667C112505250 @default.
- W1995750667 hasConceptScore W1995750667C11413529 @default.
- W1995750667 hasConceptScore W1995750667C114793014 @default.
- W1995750667 hasConceptScore W1995750667C116248031 @default.
- W1995750667 hasConceptScore W1995750667C118615104 @default.
- W1995750667 hasConceptScore W1995750667C127313418 @default.
- W1995750667 hasConceptScore W1995750667C128896722 @default.
- W1995750667 hasConceptScore W1995750667C171250308 @default.
- W1995750667 hasConceptScore W1995750667C174327141 @default.
- W1995750667 hasConceptScore W1995750667C192562407 @default.
- W1995750667 hasConceptScore W1995750667C195818886 @default.
- W1995750667 hasConceptScore W1995750667C199360897 @default.
- W1995750667 hasConceptScore W1995750667C2777760186 @default.
- W1995750667 hasConceptScore W1995750667C2778029271 @default.
- W1995750667 hasConceptScore W1995750667C2780841128 @default.
- W1995750667 hasConceptScore W1995750667C33923547 @default.
- W1995750667 hasConceptScore W1995750667C41008148 @default.
- W1995750667 hasConceptScore W1995750667C80444323 @default.
- W1995750667 hasConceptScore W1995750667C92117001 @default.
- W1995750667 hasLocation W19957506671 @default.
- W1995750667 hasLocation W19957506672 @default.
- W1995750667 hasLocation W19957506673 @default.
- W1995750667 hasLocation W19957506674 @default.
- W1995750667 hasLocation W19957506675 @default.
- W1995750667 hasOpenAccess W1995750667 @default.
- W1995750667 hasPrimaryLocation W19957506671 @default.
- W1995750667 hasRelatedWork W1548463674 @default.
- W1995750667 hasRelatedWork W1636313335 @default.
- W1995750667 hasRelatedWork W1995750667 @default.
- W1995750667 hasRelatedWork W2133073401 @default.
- W1995750667 hasRelatedWork W2234262632 @default.
- W1995750667 hasRelatedWork W2482365960 @default.
- W1995750667 hasRelatedWork W3147849782 @default.
- W1995750667 hasRelatedWork W3151786004 @default.
- W1995750667 hasRelatedWork W3173429172 @default.
- W1995750667 hasRelatedWork W4287239951 @default.
- W1995750667 isParatext "false" @default.
- W1995750667 isRetracted "false" @default.
- W1995750667 magId "1995750667" @default.
- W1995750667 workType "article" @default.