Matches in SemOpenAlex for { <https://semopenalex.org/work/W2982704512> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2982704512 endingPage "155" @default.
- W2982704512 startingPage "137" @default.
- W2982704512 abstract "We investigate a learning algorithm in the context of nominal automata, an extension of classical automata to alphabets featuring names. This class of automata captures nominal regular languages; analogously to the classical language theory, nominal automata have been shown to characterise nominal regular expressions with binders. These formalisms are amenable to abstract modelling resource-aware computations. We propose a learning algorithm on nominal regular languages with binders. Our algorithm generalises Angluin's L* algorithm with respect to nominal regular languages with binders. We show the correctness and study the theoretical complexity of our algorithm." @default.
- W2982704512 created "2019-11-08" @default.
- W2982704512 creator A5056498850 @default.
- W2982704512 creator A5073715693 @default.
- W2982704512 date "2019-01-01" @default.
- W2982704512 modified "2023-09-27" @default.
- W2982704512 title "On Learning Nominal Automata with Binders." @default.
- W2982704512 hasPublicationYear "2019" @default.
- W2982704512 type Work @default.
- W2982704512 sameAs 2982704512 @default.
- W2982704512 citedByCount "0" @default.
- W2982704512 crossrefType "journal-article" @default.
- W2982704512 hasAuthorship W2982704512A5056498850 @default.
- W2982704512 hasAuthorship W2982704512A5073715693 @default.
- W2982704512 hasConcept C112505250 @default.
- W2982704512 hasConcept C11413529 @default.
- W2982704512 hasConcept C116248031 @default.
- W2982704512 hasConcept C151730666 @default.
- W2982704512 hasConcept C154945302 @default.
- W2982704512 hasConcept C158008952 @default.
- W2982704512 hasConcept C171018156 @default.
- W2982704512 hasConcept C174327141 @default.
- W2982704512 hasConcept C2524010 @default.
- W2982704512 hasConcept C2776807809 @default.
- W2982704512 hasConcept C2777212361 @default.
- W2982704512 hasConcept C2779343474 @default.
- W2982704512 hasConcept C33923547 @default.
- W2982704512 hasConcept C41008148 @default.
- W2982704512 hasConcept C52370388 @default.
- W2982704512 hasConcept C55439883 @default.
- W2982704512 hasConcept C74919329 @default.
- W2982704512 hasConcept C80444323 @default.
- W2982704512 hasConcept C86803240 @default.
- W2982704512 hasConcept C92117001 @default.
- W2982704512 hasConceptScore W2982704512C112505250 @default.
- W2982704512 hasConceptScore W2982704512C11413529 @default.
- W2982704512 hasConceptScore W2982704512C116248031 @default.
- W2982704512 hasConceptScore W2982704512C151730666 @default.
- W2982704512 hasConceptScore W2982704512C154945302 @default.
- W2982704512 hasConceptScore W2982704512C158008952 @default.
- W2982704512 hasConceptScore W2982704512C171018156 @default.
- W2982704512 hasConceptScore W2982704512C174327141 @default.
- W2982704512 hasConceptScore W2982704512C2524010 @default.
- W2982704512 hasConceptScore W2982704512C2776807809 @default.
- W2982704512 hasConceptScore W2982704512C2777212361 @default.
- W2982704512 hasConceptScore W2982704512C2779343474 @default.
- W2982704512 hasConceptScore W2982704512C33923547 @default.
- W2982704512 hasConceptScore W2982704512C41008148 @default.
- W2982704512 hasConceptScore W2982704512C52370388 @default.
- W2982704512 hasConceptScore W2982704512C55439883 @default.
- W2982704512 hasConceptScore W2982704512C74919329 @default.
- W2982704512 hasConceptScore W2982704512C80444323 @default.
- W2982704512 hasConceptScore W2982704512C86803240 @default.
- W2982704512 hasConceptScore W2982704512C92117001 @default.
- W2982704512 hasLocation W29827045121 @default.
- W2982704512 hasOpenAccess W2982704512 @default.
- W2982704512 hasPrimaryLocation W29827045121 @default.
- W2982704512 hasRelatedWork W1012866479 @default.
- W2982704512 hasRelatedWork W1494975368 @default.
- W2982704512 hasRelatedWork W1608073497 @default.
- W2982704512 hasRelatedWork W1751958569 @default.
- W2982704512 hasRelatedWork W2056665285 @default.
- W2982704512 hasRelatedWork W2121207786 @default.
- W2982704512 hasRelatedWork W2558467429 @default.
- W2982704512 hasRelatedWork W2600860451 @default.
- W2982704512 hasRelatedWork W2737162901 @default.
- W2982704512 hasRelatedWork W2964091195 @default.
- W2982704512 hasRelatedWork W2972601510 @default.
- W2982704512 hasRelatedWork W3003487439 @default.
- W2982704512 hasRelatedWork W3013303095 @default.
- W2982704512 hasRelatedWork W3030426156 @default.
- W2982704512 hasRelatedWork W3082925416 @default.
- W2982704512 hasRelatedWork W3103813054 @default.
- W2982704512 hasRelatedWork W3127791852 @default.
- W2982704512 hasRelatedWork W3148934288 @default.
- W2982704512 hasRelatedWork W629264660 @default.
- W2982704512 hasRelatedWork W106572097 @default.
- W2982704512 isParatext "false" @default.
- W2982704512 isRetracted "false" @default.
- W2982704512 magId "2982704512" @default.
- W2982704512 workType "article" @default.