Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100145014> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2100145014 endingPage "435" @default.
- W2100145014 startingPage "422" @default.
- W2100145014 abstract "The vast power of iterated recurrence is tamed by data ramification: if a function over words is definable by ramified recurrence and composition, then it is feasible, i.e. computable in polynomial time, i.e. any computation using the first n input symbols can have at most p(n) distinct configurations, for some polynomial p. Here we prove a dual result for coinductive data: if a function over streams is definable by ramified corecurrence, then any computation to obtain the first n symbols of the output can have at most p(n) distinct configurations, for some polynomial p. The latter computation is by multi-cursor finite state transducer on streams. A consequence is that a function over finite streams is definable by ramified corecurrence iff it is Turing-computable in logarithmic space. Such corecursive definitions over finite streams are of practical interest, because large finite data is normally used as a knowledge base to be consumed, rather than as recurrence template. Thus, we relate a syntactically restricted computation model, amenable to static analysis, to a major complexity class for streaming algorithms." @default.
- W2100145014 created "2016-06-24" @default.
- W2100145014 creator A5018841823 @default.
- W2100145014 creator A5034060796 @default.
- W2100145014 date "2015-01-01" @default.
- W2100145014 modified "2023-10-18" @default.
- W2100145014 title "The Computational Contents of Ramified Corecurrence" @default.
- W2100145014 cites W1505951678 @default.
- W2100145014 cites W1541966923 @default.
- W2100145014 cites W1994285316 @default.
- W2100145014 cites W2006253309 @default.
- W2100145014 cites W2013519208 @default.
- W2100145014 cites W2027188157 @default.
- W2100145014 cites W2039746135 @default.
- W2100145014 cites W2053859260 @default.
- W2100145014 cites W2094867196 @default.
- W2100145014 cites W4236364473 @default.
- W2100145014 doi "https://doi.org/10.1007/978-3-662-46678-0_27" @default.
- W2100145014 hasPublicationYear "2015" @default.
- W2100145014 type Work @default.
- W2100145014 sameAs 2100145014 @default.
- W2100145014 citedByCount "3" @default.
- W2100145014 countsByYear W21001450142015 @default.
- W2100145014 countsByYear W21001450142020 @default.
- W2100145014 crossrefType "book-chapter" @default.
- W2100145014 hasAuthorship W2100145014A5018841823 @default.
- W2100145014 hasAuthorship W2100145014A5034060796 @default.
- W2100145014 hasBestOaLocation W21001450142 @default.
- W2100145014 hasConcept C108710211 @default.
- W2100145014 hasConcept C11413529 @default.
- W2100145014 hasConcept C118615104 @default.
- W2100145014 hasConcept C134306372 @default.
- W2100145014 hasConcept C14036430 @default.
- W2100145014 hasConcept C140479938 @default.
- W2100145014 hasConcept C2524010 @default.
- W2100145014 hasConcept C29248071 @default.
- W2100145014 hasConcept C311688 @default.
- W2100145014 hasConcept C33923547 @default.
- W2100145014 hasConcept C39637292 @default.
- W2100145014 hasConcept C39927690 @default.
- W2100145014 hasConcept C40220748 @default.
- W2100145014 hasConcept C41008148 @default.
- W2100145014 hasConcept C45374587 @default.
- W2100145014 hasConcept C78458016 @default.
- W2100145014 hasConcept C80444323 @default.
- W2100145014 hasConcept C86803240 @default.
- W2100145014 hasConcept C90119067 @default.
- W2100145014 hasConceptScore W2100145014C108710211 @default.
- W2100145014 hasConceptScore W2100145014C11413529 @default.
- W2100145014 hasConceptScore W2100145014C118615104 @default.
- W2100145014 hasConceptScore W2100145014C134306372 @default.
- W2100145014 hasConceptScore W2100145014C14036430 @default.
- W2100145014 hasConceptScore W2100145014C140479938 @default.
- W2100145014 hasConceptScore W2100145014C2524010 @default.
- W2100145014 hasConceptScore W2100145014C29248071 @default.
- W2100145014 hasConceptScore W2100145014C311688 @default.
- W2100145014 hasConceptScore W2100145014C33923547 @default.
- W2100145014 hasConceptScore W2100145014C39637292 @default.
- W2100145014 hasConceptScore W2100145014C39927690 @default.
- W2100145014 hasConceptScore W2100145014C40220748 @default.
- W2100145014 hasConceptScore W2100145014C41008148 @default.
- W2100145014 hasConceptScore W2100145014C45374587 @default.
- W2100145014 hasConceptScore W2100145014C78458016 @default.
- W2100145014 hasConceptScore W2100145014C80444323 @default.
- W2100145014 hasConceptScore W2100145014C86803240 @default.
- W2100145014 hasConceptScore W2100145014C90119067 @default.
- W2100145014 hasLocation W21001450141 @default.
- W2100145014 hasLocation W21001450142 @default.
- W2100145014 hasOpenAccess W2100145014 @default.
- W2100145014 hasPrimaryLocation W21001450141 @default.
- W2100145014 hasRelatedWork W1504200807 @default.
- W2100145014 hasRelatedWork W1551708390 @default.
- W2100145014 hasRelatedWork W1722394934 @default.
- W2100145014 hasRelatedWork W2075449032 @default.
- W2100145014 hasRelatedWork W2086059606 @default.
- W2100145014 hasRelatedWork W2798907744 @default.
- W2100145014 hasRelatedWork W3103990451 @default.
- W2100145014 hasRelatedWork W4226115657 @default.
- W2100145014 hasRelatedWork W4286501281 @default.
- W2100145014 hasRelatedWork W2585714461 @default.
- W2100145014 isParatext "false" @default.
- W2100145014 isRetracted "false" @default.
- W2100145014 magId "2100145014" @default.
- W2100145014 workType "book-chapter" @default.