关注
Everardo Barcenas
Everardo Barcenas
在 fi-b.unam.mx 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
LBP and machine learning for diabetic retinopathy detection
J De la Calleja, L Tecuapetla, M Auxilio Medina, E Bárcenas, ...
Intelligent Data Engineering and Automated Learning–IDEAL 2014: 15th …, 2014
402014
Query reasoning on trees with types, interleaving, and counting
E Bárcenas, P Geneves, N Layaïda, A Schmitt
IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011
282011
Global Numerical Constraints on Trees
E Bárcenas, J Lavalle
Logical Methods in Computer Science 10 (2), 2014
232014
On the consistency of context-aware systems
Y Limón, E Bárcenas, E Benítez-Guerrero, G Molero
Journal of Intelligent & Fuzzy Systems 34 (5), 3373-3383, 2018
152018
Data fusion as source for the generation of useful knowledge in context-aware systems
J Muñoz, G Molero-Castillo, E Benítez-Guerrero, E Bárcenas
Journal of Intelligent & Fuzzy Systems, 1-12, 2018
132018
Expressive reasoning on tree structures: Recursion, inverse programs, Presburger constraints and nominals
E Bárcenas, J Lavalle
Mexican International Conference on Artificial Intelligence, 80-91, 2013
132013
Depth-first reasoning on trees
Y Limón, E Bárcenas, E Benítez-Guerrero, MA Medina
Computación y Sistemas 22 (1), 189-201, 2018
102018
Web service to retrieve and semantically enrich datasets for theses from open educational repositories
MAM Nieto, PDV Mora, JDLC Mora, MT Vidal, EL Domínguez, DA Díaz, ...
IEEE Access 8, 171933-171944, 2020
82020
On the Model Checking of the Graded mu-calculus on Trees
E Bárcenas, E Benítez-Guerrero, J Lavalle
Mexican International Conference on Artificial Intelligence, 178-189, 2015
82015
Regular expressions for web advertising detection based on an automatic sliding algorithm
D Riaño, R Piñon, G Molero-Castillo, E Bárcenas, A Velázquez-Mena
Programming and Computer Software 46, 652-660, 2020
72020
Reasoning on expressive description logics with arithmetic constraints
E Barcenas, G Molero, G Sánchez, E Benítez-Guerrero, C Mezura-Godoy
2016 International Conference on Electronics, Communications and Computers …, 2016
62016
A satisfiability algorithm for the mu-calculus for trees with presburger constraints
Y Limón, E Benítez-Guerrero, E Bárcenas, G Molero-Castillo, ...
2019 7th International Conference in Software Engineering Research and …, 2019
52019
Analysis of academic achievement in higher-middle education in Mexico through data clustering methods
G Molero-Castillo, E Bárcenas, A Velázquez-Mena, ...
Education Systems Around the World, 93, 2019
52019
Towards a Method for Biosignals Analysis as Support for the Design of Adaptive User-Interfaces
H Avalos-Viveros, G Molero-Castillo, E Benitez-Guerrro, E Bárcenas
Advances in Pattern Recognition, 9, 2018
52018
Identificación de lengua de señas mediante técnicas de procesamiento de imágenes
MM Gutiérrez, JR Rojano-Cáceres, IEB Patiño, FJ Pérez
Advances in Intelligent Technologies and its Applications, 121, 2016
52016
Preventable risk factors for type 2 diabetes can be detected using noninvasive spontaneous electroretinogram signals
R Noguez Imm, J Muñoz-Benitez, D Medina, E Barcenas, ...
Plos one 18 (1), e0278388, 2023
42023
Mu-calculus satisfiability with arithmetic constraints
Y Limón, E Bárcenas, E Benítez-Guerrero, GM Castillo, ...
Programming and Computer Software 46, 503-510, 2020
42020
Equivalences Among Polarity Algorithms
JJ Lavalle-Martínez, M Montes-y-Gómez, L Villaseñor-Pineda, ...
Studia Logica, 1-25, 2018
42018
Formal Verification of Blockchain Based Tender Systems
R Dávila, R Aldeco-Pérez, E Bárcenas
Programming and Computer Software 48 (8), 566-582, 2022
32022
Database management system verification with separation logics
D Medina-Martínez, E Bárcenas, G Molero-Castillo, A Velázquez-Mena, ...
Programming and Computer Software 47, 654-672, 2021
32021
系统目前无法执行此操作,请稍后再试。
文章 1–20