FRINK Linked Data Fragments server

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

• W1531170032 abstract "While a boolean notion of correctness is given by a preorder on systems and properties, a quantitative notion of correctness is defined by a distance function on systems and properties, where the distance between a system and a property provides a measure of fit or desirability. In this article, we explore several ways how the simulation preorder can be generalized to a distance function. This is done by equipping the classical simulation game between a system and a property with quantitative objectives. In particular, for systems that satisfy a property, a quantitative simulation game can measure the of the satisfaction, that is, how much the system can deviate from its nominal behavior while still satisfying the property. For systems that violate a property, a quantitative simulation game can measure the seriousness of the violation, that is, how much the property has to be modified so that it is satisfied by the system. These distances can be computed in polynomial time, since the computation reduces to the value problem in limit average games with constant weights. Finally, we demonstrate how the robustness distance can be used to measure how many transmission errors are tolerated by error correcting codes." @default.
• W1531170032 created "2016-06-24" @default.
• W1531170032 creator A5000188805 @default.
• W1531170032 creator A5072396662 @default.
• W1531170032 creator A5080555605 @default.
• W1531170032 date "2010-01-01" @default.
• W1531170032 modified "2023-09-26" @default.
• W1531170032 title "Quantitative Simulation Games" @default.
• W1531170032 cites W1565007974 @default.
• W1531170032 cites W1606443439 @default.
• W1531170032 cites W1698854595 @default.
• W1531170032 cites W1757114815 @default.
• W1531170032 cites W1786377004 @default.
• W1531170032 cites W1971499713 @default.
• W1531170032 cites W1991224384 @default.
• W1531170032 cites W1995875735 @default.
• W1531170032 cites W2015172530 @default.
• W1531170032 cites W2026128612 @default.
• W1531170032 cites W2076087052 @default.
• W1531170032 cites W2090847457 @default.
• W1531170032 cites W2102589262 @default.
• W1531170032 cites W2120185818 @default.
• W1531170032 cites W2135790748 @default.
• W1531170032 cites W2158864412 @default.
• W1531170032 cites W2912461213 @default.
• W1531170032 cites W1980073965 @default.
• W1531170032 doi "https://doi.org/10.1007/978-3-642-13754-9_3" @default.
• W1531170032 hasPublicationYear "2010" @default.
• W1531170032 type Work @default.
• W1531170032 sameAs 1531170032 @default.
• W1531170032 citedByCount "4" @default.
• W1531170032 countsByYear W15311700322012 @default.
• W1531170032 countsByYear W15311700322013 @default.
• W1531170032 countsByYear W15311700322014 @default.
• W1531170032 countsByYear W15311700322015 @default.
• W1531170032 crossrefType "book-chapter" @default.
• W1531170032 hasAuthorship W1531170032A5000188805 @default.
• W1531170032 hasAuthorship W1531170032A5072396662 @default.
• W1531170032 hasAuthorship W1531170032A5080555605 @default.
• W1531170032 hasConcept C104317684 @default.
• W1531170032 hasConcept C111472728 @default.
• W1531170032 hasConcept C11413529 @default.
• W1531170032 hasConcept C118615104 @default.
• W1531170032 hasConcept C126255220 @default.
• W1531170032 hasConcept C138885662 @default.
• W1531170032 hasConcept C14036430 @default.
• W1531170032 hasConcept C185592680 @default.
• W1531170032 hasConcept C189950617 @default.
• W1531170032 hasConcept C2333172 @default.
• W1531170032 hasConcept C2780009758 @default.
• W1531170032 hasConcept C33923547 @default.
• W1531170032 hasConcept C41008148 @default.
• W1531170032 hasConcept C55439883 @default.
• W1531170032 hasConcept C55493867 @default.
• W1531170032 hasConcept C63479239 @default.
• W1531170032 hasConcept C77088390 @default.
• W1531170032 hasConcept C78458016 @default.
• W1531170032 hasConcept C80444323 @default.
• W1531170032 hasConcept C86803240 @default.
• W1531170032 hasConceptScore W1531170032C104317684 @default.
• W1531170032 hasConceptScore W1531170032C111472728 @default.
• W1531170032 hasConceptScore W1531170032C11413529 @default.
• W1531170032 hasConceptScore W1531170032C118615104 @default.
• W1531170032 hasConceptScore W1531170032C126255220 @default.
• W1531170032 hasConceptScore W1531170032C138885662 @default.
• W1531170032 hasConceptScore W1531170032C14036430 @default.
• W1531170032 hasConceptScore W1531170032C185592680 @default.
• W1531170032 hasConceptScore W1531170032C189950617 @default.
• W1531170032 hasConceptScore W1531170032C2333172 @default.
• W1531170032 hasConceptScore W1531170032C2780009758 @default.
• W1531170032 hasConceptScore W1531170032C33923547 @default.
• W1531170032 hasConceptScore W1531170032C41008148 @default.
• W1531170032 hasConceptScore W1531170032C55439883 @default.
• W1531170032 hasConceptScore W1531170032C55493867 @default.
• W1531170032 hasConceptScore W1531170032C63479239 @default.
• W1531170032 hasConceptScore W1531170032C77088390 @default.
• W1531170032 hasConceptScore W1531170032C78458016 @default.
• W1531170032 hasConceptScore W1531170032C80444323 @default.
• W1531170032 hasConceptScore W1531170032C86803240 @default.
• W1531170032 hasLocation W15311700321 @default.
• W1531170032 hasOpenAccess W1531170032 @default.
• W1531170032 hasPrimaryLocation W15311700321 @default.
• W1531170032 hasRelatedWork W1527866240 @default.
• W1531170032 hasRelatedWork W1554842783 @default.
• W1531170032 hasRelatedWork W1555214419 @default.
• W1531170032 hasRelatedWork W1562872457 @default.
• W1531170032 hasRelatedWork W1567218086 @default.
• W1531170032 hasRelatedWork W1699994802 @default.
• W1531170032 hasRelatedWork W1847242552 @default.
• W1531170032 hasRelatedWork W1964948100 @default.
• W1531170032 hasRelatedWork W1977829147 @default.
• W1531170032 hasRelatedWork W1995371264 @default.
• W1531170032 hasRelatedWork W2104635487 @default.
• W1531170032 hasRelatedWork W2107220315 @default.
• W1531170032 hasRelatedWork W2146380167 @default.
• W1531170032 hasRelatedWork W2154256239 @default.
• W1531170032 hasRelatedWork W2606256105 @default.
• W1531170032 hasRelatedWork W2752068024 @default.
• W1531170032 hasRelatedWork W2949594910 @default.
• W1531170032 hasRelatedWork W2957475053 @default.

• next