- VERIfication pour les systèmes DIStribués
- Value from Data
- Verification in databases
- Verification models and techniques applied to testing and control of reactive systems
- Vers des robots à l’intelligence sociale au travers de l’apprentissage, de la perception et de la commande
- Virtual Reality for Improved Innovative Immersive Interaction
- Virtual environments for animation and image synthesis of natural objects
- Vision spatio-temporelle et active
 |
 |
 |