$30 off During Our Annual Pro Sale. View Details »
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for Jaime Arias Almeida

Jaime Arias Almeida

himito
1 Stars

Decks

Creating Static Sites with Pelican
Avatar for Jaime Arias Almeida himito
0
300
Factor Oracle for Machine Improvisation
Avatar for Jaime Arias Almeida himito
0
340
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
Avatar for Jaime Arias Almeida himito
0
70
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
Avatar for Jaime Arias Almeida himito
0
220
Automatic Construction of Interactive Machine Improvisation Scenarios from Audio Recordings
Avatar for Jaime Arias Almeida himito
0
200
Automatic Verification of Interactive Multimedia Scenarios with Branching Behavior
Avatar for Jaime Arias Almeida himito
1
99
Formal Semantcs and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choice
Avatar for Jaime Arias Almeida himito
0
200
Foundations for Reliable and Flexible Interactive Multimedia Scores
Avatar for Jaime Arias Almeida himito
0
230
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios
Avatar for Jaime Arias Almeida himito
0
160
Verification of i-score Using Timed Automata
Avatar for Jaime Arias Almeida himito
0
160
Écriture et Exécution des Partitions Multimédias Interactives Fiables sur FPGAs
Avatar for Jaime Arias Almeida himito
0
180
Exploiting Parallelism in FPGAs for the Real-Time Interpretation of Interactive Multimedia Scores
Avatar for Jaime Arias Almeida himito
0
160
Towards an Automatic Verification of Interactive Scores and their Real-Time Performance
Avatar for Jaime Arias Almeida himito
0
90
Interactive Scores Meet Timed Automata
Avatar for Jaime Arias Almeida himito
0
200
Formal Models to Compose and Execute Multimedia Interactive Scores
Avatar for Jaime Arias Almeida himito
0
180
A Tree-Based Operational Semantics for Interactive Multimedia Scores
Avatar for Jaime Arias Almeida himito
0
320
A Symbolic Model for Timed Concurrent Constraint Programming
Avatar for Jaime Arias Almeida himito
0
160
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets
Avatar for Jaime Arias Almeida himito
0
150

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade