Pre collision detection system for pedestrian safety based on HOL.

Youssef Azdoud Aouatif Amine Nawal Alioua Mohammed Rziza

Published in: AICCSA (2015)

Keyphrases

collision detection
virtual environment
computer graphics
rigid body
object detection
formal methods
deformable objects
theorem prover
real time
active learning
ground truth
small number
least squares
medical images