Structured Interactive Scores

Structured Interactive Scores

La plupart des sc\'narios multimédia interactifs sont bas\'{e}s sur des sp\'cifications informelles, il n'est donc pas possible de v\'{e}rifier formellement des propri\'t\'{e}s de ces syst\'mes. Nous pr\'{e}conisons la n\'cessit\'{e} d'un m...

Full description

Bibliographic Details
Main Author:	Mauricio, Toro
Language:	FRE
Published:	Université Sciences et Technologies - Bordeaux I 2012
Subjects:	[INFO:INFO_SD] Computer Science/Sound [INFO:INFO_CL] Computer Science/Computation and Language [INFO:INFO_AI] Computer Science/Artificial Intelligence interactive scores concurrent constraint programming ntcc temporal constraints
Online Access:	http://tel.archives-ouvertes.fr/tel-00736021 http://tel.archives-ouvertes.fr/docs/00/73/60/21/PDF/phdToro.pdf http://tel.archives-ouvertes.fr/docs/00/73/60/21/ANNEX/toro-phd-defense-light.pdf

Internet

http://tel.archives-ouvertes.fr/tel-00736021
http://tel.archives-ouvertes.fr/docs/00/73/60/21/PDF/phdToro.pdf
http://tel.archives-ouvertes.fr/docs/00/73/60/21/ANNEX/toro-phd-defense-light.pdf