Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
Digest of Technical Papers - IEEE International Conference on Consumer Electronics(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Área temáticas
Ciencias de la computación(1)
Comunicaciones(1)
Funcionamiento de bibliotecas y archivos(1)
Publicidad y relaciones públicas(1)
Área de conocimiento
Ingeniería de software(1)
Origen
scopus(2)
Multi-valued model checking in dense-time
Conference ObjectAbstract: In this paper we introduce ΧTCTL, a dense-time extension of the multi-valued Computation Tree LogicPalabras claves:Dense real-time, Formal Methods, Model checking, Multi-valued logicAutores:Cabrer M.R., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, MartÍnez A.B.B., Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusWhat's on TV tonight? an efficient and effective personalized recommender system of TV programs
Conference ObjectAbstract: This paper introduces Queveo.tv: a personalized TV program recommendation system. The proposed hybriPalabras claves:Autores:GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, MartÍnez A.B.B., Vilas F.Fuentes:scopus