Examinar por departamento (eus.) "Hizkuntza eta sistema informatikoak"
Now showing items 21-40 of 211
-
Análisis y mejora de los marcos actuales de desarrollo y evaluación de los Trabajos Fin de Grado mediante el uso de las TIC
(2017-01-12)Este trabajo de tesis aborda la problemática inherente al TFG, planteando como objetivo principal la mejora de los procesos de realización y evaluación del mismo, dando soporte a los actores implicados en dichos procesos ... -
Aplicación de nuevas tecnologías a la enseñanza
(2003)La aplicación de las nuevas tecnologías de la información y las comunicaciones (NTIC) en la enseñanza se presenta, a menudo,como una innovación metodológica. Sin embargo, nuestra participación en algunas experiencias como ... -
Aprendizaje basado en proyectos aplicado a la asignatura Ingeniería del software : guía del docente y guía del estudiante
(2012)Este informe recoge las guías del docente y del estudiante para la puesta en marcha, seguimiento continuo y evaluación de la asignatura Ingeniería del Software del segundo curso del Grado en Ingeniería Informática. Todo ... -
Assessing Industrial Communication Protocols to Bridge the Gap between Machine Tools and Software Monitoring
(MDPI, 2023-06-18)Industrial communication protocols are protocols used to interconnect systems, interfaces, and machines in industrial environments. With the advent of hyper-connected factories, the role of these protocols is gaining ... -
Assisting blog publication: annotation, model transformation, and crossblogging techniques
(2012-11-09)Although blogs exist from the beginning of the Internet, their use has considerablybeen increased in the last decade. Nowadays, they are ready for being used bya broad range of people. From teenagers to multinationals, ... -
Automatic feedback and assessment of team-coding assignments in a DevOps context
(Springer, 2023)We describe an automated assessment process for team-coding assignments based on DevOps best practices. This system and methodology includes the definition of Team Performance Metrics measuring properties of the software ... -
Automatic generation of named entity taggers leveraging parallel corpora
(2017-09-27)The lack of hand curated data is a major impediment to developing statistical semantic processors for many of the world languages. A major issue of semantic processors in Nat- ural Language Processing (NLP) is that they ... -
Automatic Scansion of Poetry
(2017-06-19)Lan honetan poesiaren eskantsioa, hau da, poemetako egitura erritmikoaren erauztea, burutzen duguautomatikoki. Horretarako hizkuntzaren prozesamenduko ohiko teknikak erabili ditugu. Metodo batzukerregeletan oinarritutakoak ... -
Automatic stance detection on political discourse in Twitter
(2019-11-29)The majority of opinion mining tasks in natural language processing (NLP) have been focused on sentiment analysis of texts about products and services while there is comparatively less research on automatic detection of ... -
Automatic white-box testing of first-order logic ontologies
(Oxford Academic, 2019-02-26)Formal ontologies are axiomatizations in a logic-based formalism. The development of formal ontologies is generating considerable research on the use of automated reasoning techniques and tools that help in ontology ... -
Basque-to-Spanish and Spanish-to-Basque machine translation for the health domain
(2018)[EU]Master Amaierako Lan honek medikuntza domeinuko euskara eta gaztelera arteko itzulpen automatiko sistema bat garatzeko helburuarekin emandako lehenengo urratsak aurkezten ditu. Corpus elebidun nahikoaren faltan, hainbat ... -
Behavioral anomaly detection system for the wellbeign assessment and lifestyle support of older people at home
(Elsevier B.V, 2021)The wellbeing assessment of older people is becoming crucial in today’s era of aging and home care in order to provide the best possible care. New technologies are being used to assist older people at home, which generates ... -
Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction
(Technische Universität Braunschweig, Institute of Theoretical Computer Science, 2014)We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether ... -
Binding SNOMED-CT Terms to Archetype Elements: Establishing a Baseline of Results
(Schattauer, 2015)Introduction: This article is part of the Focus Theme of METHODS of Information in Medicine on "Managing Interoperability and Complexity in Health Systems". Background: The proliferation of archetypes as a means to ... -
Branching-time logic ECTL# and its tree-style one-pass tableau: Extending fairness expressibility of ECTL+
(Elsevier, 2020-02-13)Temporal logic has become essential for various areas in computer science, most notably for the specification and verification of hardware and software systems. For the specification purposes rich temporal languages are ... -
Building a dialogue system for question-answer forum websites
(2017-03-05)[EU] Dialogo-sistemak gizakiak laguntzeko sistema automatikoak dira, eta beren ezaugarri nagusia da komunikazioa hizkuntza naturalaren bidez gauzatzeko gai direla. Azken boladan bultzada handia jaso eta eguneroko tresnetan ... -
Building synthetic simulated environments for configuring and training multi-camera systems for surveillance applications
(SciTePress, Science and Technology Publications, Lda, 2021)[EN] Synthetic simulated environments are gaining popularity in the Deep Learning Era, as they can alleviate the effort and cost of two critical tasks to build multi-camera systems for surveillance applications: setting ... -
C@rol: Herramienta Web que aplica un nuevo método para la mejora de la efectividad de grupos de estudiantes a través de la identificación de roles en entornos de aprendizaje colaborativo asistido por ordenador
(2015-12-17)En los últimos años aprender a trabajar en equipo se ha convertidoen una asignatura común en la educación superior. La comunicación entrelos miembros de grupos de estudiantes se puede monitorizar si ésta se dautilizando ... -
Calibración de ítems mediante juicio de expertos utilizando técnicas de ingeniería dirigida por modelos, workflows y sistemas de gestión de aprendizaje
(2017-04-28)La evaluación mediante test es un aspecto esencial del aprendizaje y tanto los sistemas de aprendizaje a distancia como la evaluación profesional utilizan bancos de ítems calibrados para llevar a cabo esta tarea. En este ... -
Caprate: un sistema de interpretación de problemas en lenguaje natural
(1988-06-07)Caprate es un sistema de comprensión de lenguaje natural que procesa enunciados de problemas elementales de programación escritos en español, obteniendo la especificación correspondiente al problema según el lenguaje de ...