Instituto de Tecnología del Conocimiento (ITC)
Centro/Instituto
![Foto de Instituto de Tecnología del Conocimiento (ITC)](/img/uploaded/0537A1CB55770E7FE3E05B6931EDA813.jpg)
![Foto de University of Leicester](/img/noimage_org.png)
University of Leicester
Leicester, Reino UnidoPublicaciones en colaboración con investigadores/as de University of Leicester (3)
2013
-
The promise of reconfigurable computing for hyperspectral imaging onboard systems: A review and trends
Proceedings of the IEEE, Vol. 101, Núm. 3, pp. 698-722
2011
-
Visual control of a remote vehicle
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005
-
A verification logic for rewriting logic
Journal of Logic and Computation, Vol. 15, Núm. 3, pp. 317-352