Información del autor
Documentos disponibles escritos por este autor (5)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
Caballero Roldán, Rafael | 2011-09-21Declarative debugging is a debugging technique that abstracts the execution details to focus on the semantic meaning of the program components. It was frst proposed in the feld of Logic Programming, but its general structure has been later exten[...]texto impreso
Caballero Roldán, Rafael ; Martín Martín, Enrique ; Montenegro Montes, Manuel ; Riesco Rodríguez, Adrián ; Tamarit Muñoz, Salvador | 2016-01Memoria del PIMCD 32/2015, donde presentamos una herramienta colaborativa para aprender lenguajes de traducción mediante traducción llamada DuoCode.texto impreso
texto impreso
Caballero Roldán, Rafael ; Zarzalejo Tirado, Luis Fernando ; Otero Martín, Álvaro ; Piñuel Moreno, Luis ; Wilbert, Stefan | Universidad Nacional de La Plata | 2018-12This work considers the problem of forecasting the normal solar irradiance with high spatial and temporal resolution (5 minutes). The forecasting is based on a dataset registered during one year from the high resolution radiometric network at a [...]texto impreso
In this paper we present two type extensions for the modelling language MiniZinc that allow the representation of some problems in a more natural way. The first proposal, called MiniZinc? , extends existing types with additional values. The user[...]
