Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
Digest of Technical Papers - IEEE International Conference on Consumer Electronics(1)
IEEE Intelligent Systems(1)
International Journal of Pattern Recognition and Artificial Intelligence(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(3)
Actuaciones públicas(1)
Interacción social(1)
Métodos informáticos especiales(1)
Origen
scopus(4)
Avatar: Enhancing the personalized television by semantic inference
Conference ObjectAbstract: The generalized arrival of Digital TV will lead to a significant increase in the amount of channelsPalabras claves:COLLABORATIVE FILTERING, Content-based filtering, digital TV, Semantic inferenceAutores:Cabrer M.R., FernÁndez Y.B., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Muńoz J.B., Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusControlling the smart home from TV
Conference ObjectAbstract: In this paper we introduce a cooperative environment between the Interactive Digital TV (MHP platforPalabras claves:Autores:Cabrer M.R., José Pazos-Arias, Redondo R.P.D., Vilas F.Fuentes:scopusEnhancing residential gateways: A semantic OSGi platform
ArticleAbstract: A semantic approach based on the Open Service Gateway initiative (OSGi) service registry that supporPalabras claves:Autores:Cabrer M.R., GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusMulti-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:scopus