From Bi-facial Truth to Bi-facial Proofs.
Stefan WinteinReinhard MuskensPublished in: Stud Logica (2015)
Keyphrases
- facial expressions
- business intelligence
- face recognition
- human faces
- facial images
- landmark detection
- facial recognition
- facial expression recognition
- facial features
- behavior recognition
- pose variations
- emotion recognition
- face images
- age estimation
- database
- neural network
- theorem proving
- expression recognition
- big data
- theorem prover
- decision support
- computer vision
- real time