Se relacionan en este post los artículos y ponencias del personal docente e investigador de la Facultad de Informática UCM que han sido recogidos en ISI Web of Science durante los meses de octubre y noviembre de 2012.
Architecture of a multiplatform virtual campus / Navarro, Antonio; Cristobal, Jesus; Fernandez-Chamizo, Carmen;
Fernandez-Valmayor, Alfredo.
Automatic detection of crop rows in maize fields with high weeds pressure / Montalvo, M.; Pajares, G.; Guerrero, J. M.; Romeo, J.; Guijarro, M.; Ribeiro, A.; Ruz, J. J.; Cruz, J. M.
Automatic expert system for weeds/crops identification in images from maize fields / Montalvo, M.; Guerrero, J. M.; Romeo, J.; Emmi, L.; Guijarro, M.; Pajares, G.
A distributed QoS mechanism for ad hoc network / Barenco Abbas, Claudia Jacy; Garcia Villalba, Luis Javier; Sandoval
Orozco, Ana Lucila.
Efficient Elliptic Curve Point Multiplication Using Digit-Serial Binary Field Operations / Sutter, Gustavo D.; Deschamps, Jean-Pierre; Luis Imana, Jose.
EmoTales: creating a corpus of folk tales with emotional annotations / Francisco, Virginia; Hervas, Raquel; Peinado, Federico; Gervas, Pablo.
Improving the automatic derivation of choreography-conforming web services systems /Rabanal, Pablo; Rodriguez, Ismael; Mateo, Jose A.; Diaz, Gregorio.
Introduction to the Special Issue: SORT 2010 / Teresa Higuera-Toledano, M.; Brinkschulte, Uwe; Rettberg, Achim.
An Innovative Teaching Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications / del Vado Virseda, Rafael; Perez Morente, Fernando.
Multifollower Trilevel Decision Making Models and System / Lu, Jie; Zhang, Guangquan; Montero, Javier; Garmendia, Luis.
Optimizing the trade-offs between cost and performance in Scientific Computing / Nunez, Alberto; Andres, Cesar; Merayo, Mercedes G.
Passive Testing of Timed Systems with Timeouts / Merayo, Mercedes G.
Quantization analysis and enhancement of a VLSI gradient-based motion estimation architecture / Botella, Guillermo; Meyer-Baese, Uwe; Garcia, Antonio; Rodriguez, Manuel.
A reconstruction method for electrical capacitance tomography based on image fusion techniques / Olmos, A. Martinez; Botella, G.; Castillo, E.; Morales, Diego P.; Banqueri, J.; Garcia.
A Software Testing Tool for the Verification of Abstract Data Type Implementations from Formal Algebraic Specifications / del Vado Virseda, Rafael.
A Study of the Relationship between Weather Variables and Electric Power Demand inside a Smart Grid/Smart World Framework / Hernandez, Luis; Baladron, Carlos; Aguiar, Javier M.; Calavia, Lorena; Carro, Belen; Sanchez-Esguevillas, Antonio; Cook, Diane J.; Chinarro, David; Gomez, Jorge.
A Systematic Approach to the Implementation of Attribute Grammars with Conventional Compiler Construction Tools / Rodriguez-Cerezo, Daniel; Sarasa-Cabezuelo, Antonio; Sierra, Jose-Luis.
Ubiquitous Green Computing Techniques for High Demand Applications in Smart Environments / Zapater, Marina; Sanchez, Cesar; Ayala, Jose L.; Moya, Jose M.; Risco-Martin, Jose L.
Using Multi-Agent Systems to Facilitate the Acquisition of Workgroup Competencies / Blanco, Diego; Fernandez-Isabel, Alberto; Fuentes-Fernandez, Ruben; Guijarro, Maria.
Weak T-transitivity and weak closures of Interval-valued Fuzzy Relations / Gonzalez-del-Campo, Ramon; Garmendia, Luis.