Matches in SemOpenAlex for { <https://semopenalex.org/work/W1922177649> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1922177649 endingPage "310" @default.
- W1922177649 startingPage "288" @default.
- W1922177649 abstract "We study the runtime in probabilistic programs with unbounded recursion. As underlying formal model for such programs we use probabilistic pushdown automata (pPDAs) which exactly correspond to recursive Markov chains. We show that every pPDA can be transformed into a stateless pPDA (called “pBPA”) whose runtime and further properties are closely related to those of the original pPDA. This result substantially simplifies the analysis of runtime and other pPDA properties. We prove that for every pPDA the probability of performing a long run decreases exponentially in the length of the run, if and only if the expected runtime in the pPDA is finite. If the expectation is infinite, then the probability decreases “polynomially”. We show that these bounds are asymptotically tight. Our tail bounds on the runtime are generic, i.e., applicable to any probabilistic program with unbounded recursion." @default.
- W1922177649 created "2016-06-24" @default.
- W1922177649 creator A5019575165 @default.
- W1922177649 creator A5035392838 @default.
- W1922177649 creator A5054782057 @default.
- W1922177649 creator A5082160514 @default.
- W1922177649 date "2015-02-01" @default.
- W1922177649 modified "2023-10-16" @default.
- W1922177649 title "Runtime analysis of probabilistic programs with unbounded recursion" @default.
- W1922177649 cites W2000042263 @default.
- W1922177649 cites W2005059149 @default.
- W1922177649 cites W2062573385 @default.
- W1922177649 cites W2064860633 @default.
- W1922177649 cites W2133667894 @default.
- W1922177649 doi "https://doi.org/10.1016/j.jcss.2014.06.005" @default.
- W1922177649 hasPublicationYear "2015" @default.
- W1922177649 type Work @default.
- W1922177649 sameAs 1922177649 @default.
- W1922177649 citedByCount "25" @default.
- W1922177649 countsByYear W19221776492016 @default.
- W1922177649 countsByYear W19221776492018 @default.
- W1922177649 countsByYear W19221776492019 @default.
- W1922177649 countsByYear W19221776492020 @default.
- W1922177649 countsByYear W19221776492021 @default.
- W1922177649 countsByYear W19221776492022 @default.
- W1922177649 countsByYear W19221776492023 @default.
- W1922177649 crossrefType "journal-article" @default.
- W1922177649 hasAuthorship W1922177649A5019575165 @default.
- W1922177649 hasAuthorship W1922177649A5035392838 @default.
- W1922177649 hasAuthorship W1922177649A5054782057 @default.
- W1922177649 hasAuthorship W1922177649A5082160514 @default.
- W1922177649 hasBestOaLocation W19221776492 @default.
- W1922177649 hasConcept C103613024 @default.
- W1922177649 hasConcept C11413529 @default.
- W1922177649 hasConcept C118615104 @default.
- W1922177649 hasConcept C119857082 @default.
- W1922177649 hasConcept C154945302 @default.
- W1922177649 hasConcept C168773036 @default.
- W1922177649 hasConcept C174784677 @default.
- W1922177649 hasConcept C24404364 @default.
- W1922177649 hasConcept C33923547 @default.
- W1922177649 hasConcept C41008148 @default.
- W1922177649 hasConcept C48103436 @default.
- W1922177649 hasConcept C49937458 @default.
- W1922177649 hasConcept C80444323 @default.
- W1922177649 hasConcept C98763669 @default.
- W1922177649 hasConceptScore W1922177649C103613024 @default.
- W1922177649 hasConceptScore W1922177649C11413529 @default.
- W1922177649 hasConceptScore W1922177649C118615104 @default.
- W1922177649 hasConceptScore W1922177649C119857082 @default.
- W1922177649 hasConceptScore W1922177649C154945302 @default.
- W1922177649 hasConceptScore W1922177649C168773036 @default.
- W1922177649 hasConceptScore W1922177649C174784677 @default.
- W1922177649 hasConceptScore W1922177649C24404364 @default.
- W1922177649 hasConceptScore W1922177649C33923547 @default.
- W1922177649 hasConceptScore W1922177649C41008148 @default.
- W1922177649 hasConceptScore W1922177649C48103436 @default.
- W1922177649 hasConceptScore W1922177649C49937458 @default.
- W1922177649 hasConceptScore W1922177649C80444323 @default.
- W1922177649 hasConceptScore W1922177649C98763669 @default.
- W1922177649 hasFunder F4320321006 @default.
- W1922177649 hasIssue "1" @default.
- W1922177649 hasLocation W19221776491 @default.
- W1922177649 hasLocation W19221776492 @default.
- W1922177649 hasOpenAccess W1922177649 @default.
- W1922177649 hasPrimaryLocation W19221776491 @default.
- W1922177649 hasRelatedWork W1762969849 @default.
- W1922177649 hasRelatedWork W180602404 @default.
- W1922177649 hasRelatedWork W1922177649 @default.
- W1922177649 hasRelatedWork W2035364689 @default.
- W1922177649 hasRelatedWork W2044753318 @default.
- W1922177649 hasRelatedWork W2096349874 @default.
- W1922177649 hasRelatedWork W2111119954 @default.
- W1922177649 hasRelatedWork W2126214140 @default.
- W1922177649 hasRelatedWork W4244879671 @default.
- W1922177649 hasRelatedWork W2793281072 @default.
- W1922177649 hasVolume "81" @default.
- W1922177649 isParatext "false" @default.
- W1922177649 isRetracted "false" @default.
- W1922177649 magId "1922177649" @default.
- W1922177649 workType "article" @default.