FRINK Linked Data Fragments server

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

• W2029993008 abstract "The determinization of a nondeterministic finite automaton (NFA) N is the process of generating a deterministic finite automaton (DFA) D equivalent to (sharing the same regular language of) N. The minimization of D is the process of generating the minimal DFA M equivalent to D. Classical algorithms for determinization and minimization are available in the literature for several decades. However, they operate monolithically, assuming that the finite automaton to be either determinized or minimized is given once and for all. By contrast, we consider determinization and minimization in a dynamic context, where N expands over time: after each expansion, determinization and minimization of N into M is required. Using classical monolithic algorithms to solve this problem is bound to poor performances. An algorithm for incremental determinization and minimization of acyclic finite automata, called IDMA, is proposed. Despite being conceived within the narrow domain of model-based diagnosis and monitoring of active systems, the algorithm is general-purpose in nature. Experimental evidence indicates that IDMA is far more efficient than classical algorithms in solving incremental determinization and minimization problems." @default.
• W2029993008 created "2016-06-24" @default.
• W2029993008 creator A5025107216 @default.
• W2029993008 creator A5088673930 @default.
• W2029993008 date "2013-10-01" @default.
• W2029993008 modified "2023-09-25" @default.
• W2029993008 title "Incremental Determinization and Minimization of Finite Acyclic Automata" @default.
• W2029993008 cites W1507952584 @default.
• W2029993008 cites W1517151802 @default.
• W2029993008 cites W1558755726 @default.
• W2029993008 cites W1562403364 @default.
• W2029993008 cites W1568833083 @default.
• W2029993008 cites W1743342729 @default.
• W2029993008 cites W1784279873 @default.
• W2029993008 cites W192669884 @default.
• W2029993008 cites W1973919915 @default.
• W2029993008 cites W2025970201 @default.
• W2029993008 cites W2048895380 @default.
• W2029993008 cites W2051993457 @default.
• W2029993008 cites W2072071365 @default.
• W2029993008 cites W2102351893 @default.
• W2029993008 cites W2123135686 @default.
• W2029993008 cites W2137488486 @default.
• W2029993008 cites W2148595971 @default.
• W2029993008 cites W2154478838 @default.
• W2029993008 cites W2950053197 @default.
• W2029993008 doi "https://doi.org/10.1109/smc.2013.385" @default.
• W2029993008 hasPublicationYear "2013" @default.
• W2029993008 type Work @default.
• W2029993008 sameAs 2029993008 @default.
• W2029993008 citedByCount "4" @default.
• W2029993008 countsByYear W20299930082015 @default.
• W2029993008 countsByYear W20299930082016 @default.
• W2029993008 countsByYear W20299930082017 @default.
• W2029993008 countsByYear W20299930082021 @default.
• W2029993008 crossrefType "proceedings-article" @default.
• W2029993008 hasAuthorship W2029993008A5025107216 @default.
• W2029993008 hasAuthorship W2029993008A5088673930 @default.
• W2029993008 hasConcept C112505250 @default.
• W2029993008 hasConcept C11413529 @default.
• W2029993008 hasConcept C116248031 @default.
• W2029993008 hasConcept C147764199 @default.
• W2029993008 hasConcept C151730666 @default.
• W2029993008 hasConcept C158008952 @default.
• W2029993008 hasConcept C165753454 @default.
• W2029993008 hasConcept C167822520 @default.
• W2029993008 hasConcept C174327141 @default.
• W2029993008 hasConcept C176181172 @default.
• W2029993008 hasConcept C194525867 @default.
• W2029993008 hasConcept C199360897 @default.
• W2029993008 hasConcept C2779343474 @default.
• W2029993008 hasConcept C41008148 @default.
• W2029993008 hasConcept C65753522 @default.
• W2029993008 hasConcept C80444323 @default.
• W2029993008 hasConcept C86803240 @default.
• W2029993008 hasConcept C92710233 @default.
• W2029993008 hasConceptScore W2029993008C112505250 @default.
• W2029993008 hasConceptScore W2029993008C11413529 @default.
• W2029993008 hasConceptScore W2029993008C116248031 @default.
• W2029993008 hasConceptScore W2029993008C147764199 @default.
• W2029993008 hasConceptScore W2029993008C151730666 @default.
• W2029993008 hasConceptScore W2029993008C158008952 @default.
• W2029993008 hasConceptScore W2029993008C165753454 @default.
• W2029993008 hasConceptScore W2029993008C167822520 @default.
• W2029993008 hasConceptScore W2029993008C174327141 @default.
• W2029993008 hasConceptScore W2029993008C176181172 @default.
• W2029993008 hasConceptScore W2029993008C194525867 @default.
• W2029993008 hasConceptScore W2029993008C199360897 @default.
• W2029993008 hasConceptScore W2029993008C2779343474 @default.
• W2029993008 hasConceptScore W2029993008C41008148 @default.
• W2029993008 hasConceptScore W2029993008C65753522 @default.
• W2029993008 hasConceptScore W2029993008C80444323 @default.
• W2029993008 hasConceptScore W2029993008C86803240 @default.
• W2029993008 hasConceptScore W2029993008C92710233 @default.
• W2029993008 hasLocation W20299930081 @default.
• W2029993008 hasOpenAccess W2029993008 @default.
• W2029993008 hasPrimaryLocation W20299930081 @default.
• W2029993008 hasRelatedWork W11319064 @default.
• W2029993008 hasRelatedWork W1201363 @default.
• W2029993008 hasRelatedWork W1549106514 @default.
• W2029993008 hasRelatedWork W1562403364 @default.
• W2029993008 hasRelatedWork W1568833083 @default.
• W2029993008 hasRelatedWork W1578526383 @default.
• W2029993008 hasRelatedWork W1589497237 @default.
• W2029993008 hasRelatedWork W1979078717 @default.
• W2029993008 hasRelatedWork W2004700213 @default.
• W2029993008 hasRelatedWork W2021895937 @default.
• W2029993008 hasRelatedWork W2094242422 @default.
• W2029993008 hasRelatedWork W2115419634 @default.
• W2029993008 hasRelatedWork W2155765172 @default.
• W2029993008 hasRelatedWork W2212912172 @default.
• W2029993008 hasRelatedWork W2293090312 @default.
• W2029993008 hasRelatedWork W3004058610 @default.
• W2029993008 hasRelatedWork W3011019575 @default.
• W2029993008 hasRelatedWork W3089093779 @default.
• W2029993008 hasRelatedWork W3103140945 @default.
• W2029993008 hasRelatedWork W3111577354 @default.
• W2029993008 isParatext "false" @default.
• W2029993008 isRetracted "false" @default.
• W2029993008 magId "2029993008" @default.

• next