Matches in SemOpenAlex for { <https://semopenalex.org/work/W784264405> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W784264405 endingPage "41" @default.
- W784264405 startingPage "29" @default.
- W784264405 abstract "Interactive Scores (IS) is a formalism for composing and performing interactive multimedia scores with several applications in video games, live performance installations, and virtual museums. The composer defines the temporal organization of the score by asserting temporal relations (TRs) between temporal objects (TOs). At execution time, the performer may modify the start/stop times of the TOs by triggering interaction points and the system guarantees that all the TRs are satisfied. Implementations of IS and formal models of their behavior have already been proposed, but these do not provide usable means to reason about their properties. In this paper we introduce ReactiveIS, a programming language that fully captures the temporal structure of IS during both composition and execution. For that, we propose a semantics based on tree-like structures representing the execution state of the score at each point in time. The semantics captures the hierarchical aspects of IS and provides an intuitive representation of their execution. We also endow ReactiveIS with a logical semantics based on linear logic, thus widening the reasoning techniques available for IS. We show that ReactiveIS is general enough to capture the full behavior of IS and it also provides declarative ways to increase the expressivity of IS with, for instance, conditional statements and loops." @default.
- W784264405 created "2016-06-24" @default.
- W784264405 creator A5021897565 @default.
- W784264405 creator A5027273299 @default.
- W784264405 creator A5047180960 @default.
- W784264405 creator A5088905086 @default.
- W784264405 date "2015-01-01" @default.
- W784264405 modified "2023-10-14" @default.
- W784264405 title "Foundations for Reliable and Flexible Interactive Multimedia Scores" @default.
- W784264405 cites W1480702790 @default.
- W784264405 cites W1495793844 @default.
- W784264405 cites W1602926262 @default.
- W784264405 cites W2070324762 @default.
- W784264405 cites W2103121043 @default.
- W784264405 cites W2129819331 @default.
- W784264405 cites W2144039621 @default.
- W784264405 cites W2911865844 @default.
- W784264405 cites W65934101 @default.
- W784264405 cites W784264405 @default.
- W784264405 cites W87267104 @default.
- W784264405 doi "https://doi.org/10.1007/978-3-319-20603-5_3" @default.
- W784264405 hasPublicationYear "2015" @default.
- W784264405 type Work @default.
- W784264405 sameAs 784264405 @default.
- W784264405 citedByCount "3" @default.
- W784264405 countsByYear W7842644052015 @default.
- W784264405 countsByYear W7842644052016 @default.
- W784264405 countsByYear W7842644052019 @default.
- W784264405 crossrefType "book-chapter" @default.
- W784264405 hasAuthorship W784264405A5021897565 @default.
- W784264405 hasAuthorship W784264405A5027273299 @default.
- W784264405 hasAuthorship W784264405A5047180960 @default.
- W784264405 hasAuthorship W784264405A5088905086 @default.
- W784264405 hasBestOaLocation W7842644052 @default.
- W784264405 hasConcept C107457646 @default.
- W784264405 hasConcept C142362112 @default.
- W784264405 hasConcept C153349607 @default.
- W784264405 hasConcept C154945302 @default.
- W784264405 hasConcept C184337299 @default.
- W784264405 hasConcept C199360897 @default.
- W784264405 hasConcept C25016198 @default.
- W784264405 hasConcept C26713055 @default.
- W784264405 hasConcept C2780615836 @default.
- W784264405 hasConcept C41008148 @default.
- W784264405 hasConcept C4777664 @default.
- W784264405 hasConcept C49774154 @default.
- W784264405 hasConcept C558565934 @default.
- W784264405 hasConcept C73301696 @default.
- W784264405 hasConcept C80444323 @default.
- W784264405 hasConceptScore W784264405C107457646 @default.
- W784264405 hasConceptScore W784264405C142362112 @default.
- W784264405 hasConceptScore W784264405C153349607 @default.
- W784264405 hasConceptScore W784264405C154945302 @default.
- W784264405 hasConceptScore W784264405C184337299 @default.
- W784264405 hasConceptScore W784264405C199360897 @default.
- W784264405 hasConceptScore W784264405C25016198 @default.
- W784264405 hasConceptScore W784264405C26713055 @default.
- W784264405 hasConceptScore W784264405C2780615836 @default.
- W784264405 hasConceptScore W784264405C41008148 @default.
- W784264405 hasConceptScore W784264405C4777664 @default.
- W784264405 hasConceptScore W784264405C49774154 @default.
- W784264405 hasConceptScore W784264405C558565934 @default.
- W784264405 hasConceptScore W784264405C73301696 @default.
- W784264405 hasConceptScore W784264405C80444323 @default.
- W784264405 hasLocation W7842644051 @default.
- W784264405 hasLocation W7842644052 @default.
- W784264405 hasLocation W7842644053 @default.
- W784264405 hasLocation W7842644054 @default.
- W784264405 hasLocation W7842644055 @default.
- W784264405 hasOpenAccess W784264405 @default.
- W784264405 hasPrimaryLocation W7842644051 @default.
- W784264405 hasRelatedWork W1531437820 @default.
- W784264405 hasRelatedWork W1548537923 @default.
- W784264405 hasRelatedWork W1587224678 @default.
- W784264405 hasRelatedWork W1722638068 @default.
- W784264405 hasRelatedWork W1997984753 @default.
- W784264405 hasRelatedWork W2110468917 @default.
- W784264405 hasRelatedWork W2116666035 @default.
- W784264405 hasRelatedWork W2346373674 @default.
- W784264405 hasRelatedWork W2568874771 @default.
- W784264405 hasRelatedWork W2837526610 @default.
- W784264405 isParatext "false" @default.
- W784264405 isRetracted "false" @default.
- W784264405 magId "784264405" @default.
- W784264405 workType "book-chapter" @default.