Search

Your search keyword '"Negre, Pablo"' showing total 6 results
Start Over Author "Negre, Pablo"
6 results on '"Negre, Pablo"'

2. Review of Physical Aggression Detection Techniques in Video Using Explainable Artificial Intelligence

Author

Negre, Pablo, Alonso, Ricardo S., Prieto, Javier, Arrieta, Angélica González, Corchado, Juan M., Kacprzyk, Janusz, Series Editor, Gomide, Fernando, Advisory Editor, Kaynak, Okyay, Advisory Editor, Liu, Derong, Advisory Editor, Pedrycz, Witold, Advisory Editor, Polycarpou, Marios M., Advisory Editor, Rudas, Imre J., Advisory Editor, Wang, Jun, Advisory Editor, Novais, Paulo, editor, Julián Inglada, Vicente, editor, Hornos, Miguel J., editor, Satoh, Ichiro, editor, Carneiro, Davide, editor, Carneiro, João, editor, and Alonso, Ricardo S., editor

Published
2023
Full Text
View/download PDF

3. Literature Review of Deep-Learning-Based Detection of Violence in Video.

Author

Negre, Pablo, Alonso, Ricardo S., González-Briones, Alfonso, Prieto, Javier, and Rodríguez-González, Sara

Subjects
*LITERATURE reviews, *VIOLENCE, *ARTIFICIAL intelligence, *URBAN planning, *VIDEOS
Abstract

Physical aggression is a serious and widespread problem in society, affecting people worldwide. It impacts nearly every aspect of life. While some studies explore the root causes of violent behavior, others focus on urban planning in high-crime areas. Real-time violence detection, powered by artificial intelligence, offers a direct and efficient solution, reducing the need for extensive human supervision and saving lives. This paper is a continuation of a systematic mapping study and its objective is to provide a comprehensive and up-to-date review of AI-based video violence detection, specifically in physical assaults. Regarding violence detection, the following have been grouped and categorized from the review of the selected papers: 21 challenges that remain to be solved, 28 datasets that have been created in recent years, 21 keyframe extraction methods, 16 types of algorithm inputs, as well as a wide variety of algorithm combinations and their corresponding accuracy results. Given the lack of recent reviews dealing with the detection of violence in video, this study is considered necessary and relevant. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

4. Bridging experiment and theory: Morphology, optical, electronic, and magnetic properties of MnWO4

Author

Assis, Marcelo, primary, Tello, Ana C.M., additional, Abud, Fabio S.A., additional, Negre, Pablo, additional, Ribeiro, Lara K., additional, Ribeiro, Renan A.P., additional, Masunaga, Sueli H., additional, Lima, Aline E.B., additional, Luz Jr, Geraldo E., additional, Jardim, Renato F., additional, Silva, Albérico B.F., additional, Andrés, Juan, additional, and Longo, Elson, additional

Published
2022
Full Text
View/download PDF

5. Extensiones a la comprobación de satisfacibilidad de restricciones

Author

Viciano Negre, Pablo

Subjects
Equational unification, Unificación ecuacional, Satisfacibilidad de fórmulas, Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació, Equational narrowing, Satisfiability of formulas, LENGUAJES Y SISTEMAS INFORMATICOS, Estrechamiento ecuacional
Abstract

[ES] En esta tesina de máster se estudia la satisfacibilidad de fórmulas en la aritmética Presburger para el lenguaje de programación de alto rendimiento Maude y cómo se pueden extender estos algoritmos a modelos que extiendan la aritmética Presburger con propiedades ecuacionales tales como asociatividad, conmutatividad e identidad, así como el caso más complejo (con un algoritmo de semi-decisión en vez de un algoritmo de decisión) para teorías ecuacionales con propiedades ecuacionales orientadas como reglas.

Published
2012

6. Extensiones a la comprobación de satisfacibilidad de restricciones

Author

Escobar Román, Santiago, Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat, Viciano Negre, Pablo, Escobar Román, Santiago, Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat, and Viciano Negre, Pablo

Abstract

[ES] En esta tesina de máster se estudia la satisfacibilidad de fórmulas en la aritmética Presburger para el lenguaje de programación de alto rendimiento Maude y cómo se pueden extender estos algoritmos a modelos que extiendan la aritmética Presburger con propiedades ecuacionales tales como asociatividad, conmutatividad e identidad, así como el caso más complejo (con un algoritmo de semi-decisión en vez de un algoritmo de decisión) para teorías ecuacionales con propiedades ecuacionales orientadas como reglas.

Published
2012

Catalog

Books, media, physical & digital resources
See catalog results