Mostrando 6 resultados de: 6
Filtros aplicados
Publisher
Proceedings - 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service, EEE-05(2)
14th International World Wide Web Conference, WWW2005(1)
International Journal of Software Engineering and Knowledge Engineering(1)
Lecture Notes in Computer Science(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(2)
Interacción social(2)
Comunicaciones(1)
Costura, confección y vida personal(1)
Dirección general(1)
Área de conocimiento
Ciencias de la computación(3)
Inteligencia artificial(2)
Software(2)
Ingeniería de software(1)
Pedagogía(1)
Origen
scopus(6)
Collaborative T-learning: Bringing greater levels of interactivity into the home
Conference ObjectAbstract: T-learning -the provision of educational services over Interactive Digital TV - is emerging as a impPalabras claves:Autores:Cabrer M.R., Elexpuru-Eguia A., FernÁndez Y.B., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Martínez B.B., Solla A.G.Fuentes:scopusARIFS methodology: Reusing incomplete models at the requirements specification stage
ArticleAbstract: In a totally formalized, iterative and incremental software process, each iteration usually impliesPalabras claves:Approximate retrieval, component-based requirements engineering, Formal requirements reuse, Iterative and incremental specification, Reuse of verification resultsAutores:GarcÍa-Duque J., José Pazos-Arias, Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopusAVATAR: A multi-agent TV recommender system using MHP applications
Conference ObjectAbstract: In this paper we present AVATAR, a recommender of personalized TV contents, for which an open multi-Palabras claves:Autores:Barragáns-Martínez B., Blanco-FernÁndez Y., José Pazos-Arias, Martín López-Nores, Ramos-Cabrer M., Solla A.G.Fuentes:scopusAVATAR: An approach based on semantic reasoning to recommend personalized TV programs
Conference ObjectAbstract: In this paper a TV recommender system called AVATAR (AdVAnce Telematic search of Audiovisual contentPalabras claves:Inference of semantic relations, Ontologies, semantic web, TV recommender systemAutores:Barragáns-Martínez B., Blanco Y., Fernández A., José Pazos-Arias, López M., Ramos-Cabrer M., Redondo R.P.D., Solla A.G.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:scopusTracing integration analysis in component-based formal specifications
Conference ObjectAbstract: The correctness of a component-based specification is not guaranteed by the correctness of its compoPalabras claves:Autores:Barragáns-Martínez B., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Ramos-Cabrer M., Redondo R.P.D., Solla A.G., Vilas F.Fuentes:scopus