Interactive Runtime Verification.
Raphaël JakseYliès FalconeJean-François MéhautKevin PougetPublished in: CoRR (2017)
Keyphrases
- interactive video
- signature verification
- user friendly
- concurrent systems
- interactive learning
- real time
- web services
- search algorithm
- evolutionary algorithm
- human computer interaction
- constraint satisfaction problems
- website
- face verification
- information systems
- graphical interface
- interactive systems
- person identification
- databases