Miguel Garrido

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 2

Top Topics

Architectural Scenes

Digital Mammograms

Top Venues

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Publications

Ricardo Peña, Jaime Sánchez-Hernández, Miguel Garrido, Javier Sagredo
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Jorge Martínez-Guanter, Miguel Garrido, Constantino Valero, David C. Slaughter, Manuel Pérez-Ruiz
Optical Sensing to Determine Tomato Plant Spacing for Precise Agrochemical Application: Two Scenarios. Sensors 17 (5) (2017)
David Reiser, Miguel Garrido, Manuel Vázquez-Arellano, Hans W. Griepentrog, Dimitris Paraforos
Crop Row Detection in Maize for Developing Navigation Algorithms Under Changing Plant Growth Stages. ROBOT (1) (2015)
Miguel Garrido, Dimitris Paraforos, David Reiser, Manuel Vázquez-Arellano, Hans W. Griepentrog, Constantino Valero
3D Maize Plant Reconstruction Based on Georeferenced Overlapping LiDAR Point Clouds. Remote. Sens. 7 (12) (2015)
Miguel Garrido, Manuel Pérez-Ruiz, Constantino Valero, Chris Gliever, Bradley D. Hanson, David C. Slaughter
Active Optical Sensors for Tree Stem Detection and Classification in Nurseries. Sensors 14 (6) (2014)