Proving Musical Properties using a temporal Concurrent Constraint Calculus.
Camilo RuedaFrank ValenciaPublished in: ICMC (2002)
Keyphrases
- spatio temporal
- temporal properties
- spatial and temporal
- algebraic structure
- temporal evolution
- temporal constraints
- desirable properties
- convex constraints
- data sets
- temporal characteristics
- interval algebra
- formal language
- structural properties
- temporal reasoning
- temporal information
- expressive power
- neural network