Rodrigo Araujo
Rodrigo Araujo
PhD Candidate in Computer Engineering, University of Waterloo
Verified email at uwaterloo.ca
Title
Cited by
Cited by
Year
The analysis of translation-related gene set boosts debates around origin and evolution of mimiviruses
JS Abrahao, R Araujo, P Colson, B La Scola
PLoS genetics 13 (2), e1006532, 2017
272017
Audio-visual feature-decision level fusion for spontaneous emotion estimation in speech conversations
A Sayedelahl, R Araujo, MS Kamel
2013 IEEE International Conference on Multimedia and Expo Workshops (ICMEW), 1-6, 2013
242013
Cross-domain facial expression recognition using supervised kernel mean matching
YQ Miao, R Araujo, MS Kamel
2012 11th International Conference on Machine Learning and Applications 2 …, 2012
242012
On-line verification for signatures of different sizes
RSA Araujo, GDC Cavalcanti, ECB Carvalho Filho
132006
A Multiple-Parameterization Approach for local stabilization of constrained Takagi-Sugeno fuzzy systems with nonlinear consequents
PHS Coutinho, RF Araujo, AT Nguyen, RM Palhares
Information Sciences 506, 295-307, 2020
112020
SMT-based verification applied to non-convex optimization problems
R Araújo, I Bessa, LC Cordeiro, JE Chaves Filho
2016 VI Brazilian Symposium on Computing Systems Engineering (SBESC), 1-8, 2016
92016
Counterexample guided inductive optimization based on satisfiability modulo theories
RF Araujo, HF Albuquerque, IV de Bessa, LC Cordeiro, JE Chaves Filho
Science of Computer Programming 165, 3-23, 2018
8*2018
Semi-supervised kernel-based temporal clustering
R Araujo, MS Kamel
2014 13th International Conference on Machine Learning and Applications, 123-128, 2014
72014
A semi-supervised temporal clustering method for facial emotion analysis
R Araujo, MS Kamel
2014 IEEE International Conference on Multimedia and Expo Workshops (ICMEW), 1-6, 2014
72014
A fast and robust feature set for cross individual facial expression recognition
R Araujo, YQ Miao, MS Kamel, M Cheriet
International Conference on Computer Vision and Graphics, 272-279, 2012
62012
An approach to improve accuracy rate of on-line signature verification systems of different sizes
R Araujo, G Cavalcanti
Ninth International Conference on Document Analysis and Recognition (ICDAR …, 2007
62007
OptCE: A Counterexample-Guided Inductive Optimization Solver
HF Albuquerque, RF Araújo, IV Bessa, LC Cordeiro, EB de Lima Filho
Brazilian Symposium on Formal Methods, 125-141, 2017
52017
Audio-visual emotion analysis using semi-supervised temporal clustering with constraint propagation
R Araujo, MS Kamel
International Conference Image Analysis and Recognition, 3-11, 2014
42014
Distributed Control of Networked Nonlinear Systems via Interconnected Takagi-Sugeno Fuzzy Systems With Nonlinear Consequent
RF Araújo, LAB Torres, RM Palhares
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2019
22019
A semi-Supervised approach for kernel-based temporal clustering
R Araujo
University of Waterloo, 2015
22015
Distributed control of large-scale systems: a Takagi-Sugeno fuzzy model-based approach
RF Araújo
Universidade Federal de Minas Gerais, 2019
2019
MODELAGEM E CONTROLE POR ESCALONAMENTO DE GANHOS DESCENTRALIZADO PARA UM SISTEMA DE TRĘS TANQUES ACOPLADOS
GAC QUEIROZ, ADEO FARIAS, RF ARAÚJO, RLP DE MEDEIROS, ...
Anais da Sociedade Brasileira de Automática 1 (1), 2019
2019
Counterexample guided inductive optimization applied to mobile robots path planning
RF Araujo, A Ribeiro, IV Bessa, LC Cordeiro, EC Joao Filho
2017 Latin American Robotics Symposium (LARS) and 2017 Brazilian Symposium …, 2017
2017
Counterexample Guided Inductive Optimization Applied to Mobile Robots Path Planning (Extended Version)
RF Araújo, A Ribeiro, IV Bessa, LC Cordeiro
arXiv preprint arXiv:1708.04028, 2017
2017
Um novo método de otimizaçăo baseado em teorias de satisfatibilidade
RF Araújo
Universidade Federal do Amazonas, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20