Collado Ponce, Manuel(Universitat Politècnica de València, 2024-10-23)
[ES] El problema SAT (satisfacibilidad en lógica proposicional) es muy importante, ya que fue el primer problema que se probó que era NP-completo y muchos otros problemas se resuelven mediante su reducción a SAT. Es por ...
Sánchez Mompó, Carlos Adrián(Universitat Politècnica de València, 2020-10-19)
[ES] En este proyecto se propone y desarrolla un sistema de reconocimiento facial basado en los conceptos de visión máquina con redes neuronales convolucionales (CNNs), aprendizaje máquina y computación distribuida. El ...