Carlos Rodríguez

20 papers A* 2B 1C 4Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2025 C conf
VestiME: A RAG-based Multimodal Fashion Outfit Recommender System.
CLEI
Amanda Maduro, Carlos Rodríguez, Sebastian Ortiz-Chamorro
2020 B conf
Always Look On The Bright Side Of The Field: Merging Pose And Contextual Data To Estimate Orientation Of Soccer Players.
ICIP
Adrià Arbués Sangüesa, Adrián Martín, Javier Fernández, Carlos Rodríguez, Gloria Haro, Coloma Ballester
2020 J jnl
Always Look on the Bright Side of the Field: Merging Pose and Contextual Data to Estimate Orientation of Soccer Players.
CoRR
Adrià Arbués Sangüesa, Adrián Martín, Javier Fernández, Carlos Rodríguez, Gloria Haro, Coloma Ballester
2019 — conf
Autonomous Flight of Unmanned Aerial Vehicles Using Evolutionary Algorithms.
CARLA
Américo Gaudín, Gabriel Madruga, Carlos Rodríguez, Santiago Iturriaga, Sergio Nesmachnow, Claudio Paz, Grégoire Danoy, Pascal Bouvry
2019 J jnl
Event-Based Feedforward Control of Linear Systems with input Time-Delay.
Int. J. Appl. Math. Comput. Sci.
Carlos Rodríguez, Ernesto Aranda-Escolástico, María Guinaldo, José Luis Guzmán, Sebastián Dormido
2018 J jnl
Asynchronous periodic event-triggered control with dynamical controllers.
J. Frankl. Inst.
Ernesto Aranda-Escolástico, Carlos Rodríguez, María Guinaldo, José Luis Guzmán, Sebastián Dormido
2014 C conf
Optimization of robot coordination using temporal synchronization.
ETFA
Carlos Rodríguez, Andres Montano, Raúl Suárez
2014 J jnl
Planning manipulation movements of a dual-arm system considering obstacle removing.
Robotics Auton. Syst.
Carlos Rodríguez, Andres Montano, Raúl Suárez
2013 J jnl
An Automatic Weighting System for Wild Animals Based in an Artificial Neural Network: How to Weigh Wild Animals without Causing Stress.
Sensors
Diego Francisco Larios, Carlos Rodríguez, Julio Barbancho, Manuel Baena, Miguel Ángel Leal, Jesús Marín, Carlos León, Javier Bustamante
2013 C conf
Manipulation tasks with a dual arm system including obstacles removing.
ETFA
Carlos Rodríguez, Andres Montano, Raúl Suárez
2012 — conf
Intelligent Monitoring System for Bird Behavior Study.
ICETE (Selected Papers)
D. F. Larios, Carlos Rodríguez, Julio Barbancho, Manuel Baena, F. Simón, Jesús Marín, Carlos León, Javier Bustamante
2012 J jnl
Self-tuning of disk input-output in operating systems.
J. Syst. Softw.
Antonino Santos, Juan Romero, Francisco Javier Taibo, Carlos Rodríguez, Adrián Carballal
2012 — conf
Two-view Epipole-based Guidance Control for Autonomous Unmanned Aerial Vehicles.
ICINCO (2)
Wilson O. Achicanoy, Carlos Sagüés, Gonzalo López-Nicolás, Carlos Rodríguez
1996 — conf
Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft.
FTCS
S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodríguez, Joseph Sifakis, R. Gerlich
1993 J jnl
VESAR: A Pragmatic Approach to Formal Specification and Verification.
Comput. Networks ISDN Syst.
Bernard Algayres, Veronigue Coelho, Laurent Doldi, Hubert Garavel, Yves Lejeune, Carlos Rodríguez
1992 A* conf
A Toolbox for the Verification of LOTOS Programs.
ICSE
Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodríguez, Joseph Sifakis
1991 A* conf
Safety for Branching Time Semantics.
ICALP
Ahmed Bouajjani, Jean-Claude Fernandez, Susanne Graf, Carlos Rodríguez, Joseph Sifakis
1990 C conf
Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.
FORTE
Mário Baptista, Susanne Graf, Jean-Luc Richier, Luís E. T. Rodrigues, Carlos Rodríguez, Paulo Veríssimo, Jacques Voiron
1989 — conf
What are the Limits of Model Checking Methods for the Verification of Real Life Protocols?
Automatic Verification Methods for Finite State Systems
Susanne Graf, Jean-Luc Richier, Carlos Rodríguez, Jacques Voiron
1987 — conf
Verification in XESAR of the Sliding Window Protocol.
PSTV
Jean-Luc Richier, Carlos Rodríguez, Joseph Sifakis, Jacques Voiron