FRINK Linked Data Fragments server

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

• W1582948223 endingPage "38" @default.
• W1582948223 startingPage "26" @default.
• W1582948223 abstract "We continue the study of combinatorial property testing. For a property ψ, an ɛ-test for ψ, for 0 < ɛ ≤ 1, is a randomized algorithm that given an input x, returns “yes” if x satisfies ψ, and returns “no” with high probability if x is ɛ-far from satisfying ψ, where ɛ-far essentially means that an ɛ-fraction of x needs to be changed in order for it to satisfy ψ. In [AKNS99], Alon et al. show that regular languages are ɛ-testable with a constant (depends on ψ and ɛ and independent of x) number of queries. We extend the result in [AKNS99] to ω-regular languages: given a nondeterministic Büchi automaton A on infinite words and a small ɛ > 0, we describe an algorithm that gets as input an infinite lasso-shape word of the form x · y ω, for finite words x and y, samples only a constant number of letters in x and y, returns “yes” if w ∈ L(A), and returns “no” with probability 2/3 if w is ɛ-far from L(A). We also discuss the applicability of property testing to formal verification, where ω-regular languages are used for the specification of the behavior of nonterminating reactive systems, and computations correspond to lasso-shape words." @default.
• W1582948223 created "2016-06-24" @default.
• W1582948223 creator A5053852359 @default.
• W1582948223 creator A5077429082 @default.
• W1582948223 date "2002-01-01" @default.
• W1582948223 modified "2023-09-27" @default.
• W1582948223 title "ω-Regular Languages Are Testable with a Constant Number of Queries" @default.
• W1582948223 cites W117768600 @default.
• W1582948223 cites W1540883472 @default.
• W1582948223 cites W1555940454 @default.
• W1582948223 cites W1560050980 @default.
• W1582948223 cites W1595588542 @default.
• W1582948223 cites W1909155726 @default.
• W1582948223 cites W1970630090 @default.
• W1582948223 cites W1990609140 @default.
• W1582948223 cites W2000079459 @default.
• W1582948223 cites W2018925011 @default.
• W1582948223 cites W2031592188 @default.
• W1582948223 cites W2056168287 @default.
• W1582948223 cites W2094912129 @default.
• W1582948223 cites W2120736095 @default.
• W1582948223 cites W2131064738 @default.
• W1582948223 cites W2151906985 @default.
• W1582948223 cites W2160083957 @default.
• W1582948223 cites W2404894606 @default.
• W1582948223 cites W2611773579 @default.
• W1582948223 cites W2914206182 @default.
• W1582948223 cites W4240244556 @default.
• W1582948223 cites W4300021588 @default.
• W1582948223 doi "https://doi.org/10.1007/3-540-45726-7_3" @default.
• W1582948223 hasPublicationYear "2002" @default.
• W1582948223 type Work @default.
• W1582948223 sameAs 1582948223 @default.
• W1582948223 citedByCount "2" @default.
• W1582948223 crossrefType "book-chapter" @default.
• W1582948223 hasAuthorship W1582948223A5053852359 @default.
• W1582948223 hasAuthorship W1582948223A5077429082 @default.
• W1582948223 hasBestOaLocation W15829482232 @default.
• W1582948223 hasConcept C111472728 @default.
• W1582948223 hasConcept C112505250 @default.
• W1582948223 hasConcept C11413529 @default.
• W1582948223 hasConcept C114614502 @default.
• W1582948223 hasConcept C118615104 @default.
• W1582948223 hasConcept C123842658 @default.
• W1582948223 hasConcept C138885662 @default.
• W1582948223 hasConcept C146072743 @default.
• W1582948223 hasConcept C171250308 @default.
• W1582948223 hasConcept C176181172 @default.
• W1582948223 hasConcept C189950617 @default.
• W1582948223 hasConcept C192562407 @default.
• W1582948223 hasConcept C199360897 @default.
• W1582948223 hasConcept C2524010 @default.
• W1582948223 hasConcept C2777027219 @default.
• W1582948223 hasConcept C2780841128 @default.
• W1582948223 hasConcept C33923547 @default.
• W1582948223 hasConcept C41008148 @default.
• W1582948223 hasConcept C45374587 @default.
• W1582948223 hasConcept C52370388 @default.
• W1582948223 hasConcept C80444323 @default.
• W1582948223 hasConcept C90805587 @default.
• W1582948223 hasConceptScore W1582948223C111472728 @default.
• W1582948223 hasConceptScore W1582948223C112505250 @default.
• W1582948223 hasConceptScore W1582948223C11413529 @default.
• W1582948223 hasConceptScore W1582948223C114614502 @default.
• W1582948223 hasConceptScore W1582948223C118615104 @default.
• W1582948223 hasConceptScore W1582948223C123842658 @default.
• W1582948223 hasConceptScore W1582948223C138885662 @default.
• W1582948223 hasConceptScore W1582948223C146072743 @default.
• W1582948223 hasConceptScore W1582948223C171250308 @default.
• W1582948223 hasConceptScore W1582948223C176181172 @default.
• W1582948223 hasConceptScore W1582948223C189950617 @default.
• W1582948223 hasConceptScore W1582948223C192562407 @default.
• W1582948223 hasConceptScore W1582948223C199360897 @default.
• W1582948223 hasConceptScore W1582948223C2524010 @default.
• W1582948223 hasConceptScore W1582948223C2777027219 @default.
• W1582948223 hasConceptScore W1582948223C2780841128 @default.
• W1582948223 hasConceptScore W1582948223C33923547 @default.
• W1582948223 hasConceptScore W1582948223C41008148 @default.
• W1582948223 hasConceptScore W1582948223C45374587 @default.
• W1582948223 hasConceptScore W1582948223C52370388 @default.
• W1582948223 hasConceptScore W1582948223C80444323 @default.
• W1582948223 hasConceptScore W1582948223C90805587 @default.
• W1582948223 hasLocation W15829482231 @default.
• W1582948223 hasLocation W15829482232 @default.
• W1582948223 hasOpenAccess W1582948223 @default.
• W1582948223 hasPrimaryLocation W15829482231 @default.
• W1582948223 hasRelatedWork W1490764140 @default.
• W1582948223 hasRelatedWork W1540478698 @default.
• W1582948223 hasRelatedWork W1582948223 @default.
• W1582948223 hasRelatedWork W2493758942 @default.
• W1582948223 hasRelatedWork W2798896350 @default.
• W1582948223 hasRelatedWork W2803402866 @default.
• W1582948223 hasRelatedWork W2903867399 @default.
• W1582948223 hasRelatedWork W2952990304 @default.
• W1582948223 hasRelatedWork W3118792188 @default.
• W1582948223 hasRelatedWork W4299930712 @default.
• W1582948223 isParatext "false" @default.
• W1582948223 isRetracted "false" @default.

• next