Search
Now showing items 11-15 of 15
Certificates for decision problems in temporal logic using context-based tableaux and sequent calculi.
(2023-03-03)
Esta tesis trata de resolver problemas de Satisfactibilidad y Model Checking, aportando certificados del resultado. En ella, se trabaja con tres lógicas temporales: Propositional Linear Temporal Logic (PLTL), Computation ...
Leveraging Feedback in Conversational Question Answering Systems
(2023-06-29)
Tesi honen helburua martxan jarri eta geroko sistemek gizakiekin duten elkarregina erabiltzeada, gizakien feedbacka sistementzako ikasketa eta egokitzapen seinale bezala erabiliz.Elkarrizketa sistemek martxan jartzerakoan ...
Harnessing customization in Web Annotation: A Software Product Line approach
(2022-10-07)
La anotación web ayuda a mediar la interacción de lectura y escritura al transmitir información, agregar comentarios e inspirar conversaciones en documentos web. Se utiliza en áreas de Ciencias Sociales y Humanidades, ...
Contributions to information extraction for spanish written biomedical text
(2023-03-28)
Healthcare practice and clinical research produce vast amounts of digitised, unstructured data in multiple languages that are currently underexploited, despite their potential applications in improving healthcare experiences, ...
Predicate Matrix: an interoperable lexical knowledge base for predicates
(2023-07-10)
La Matriz de Predicados (Predicate Matrix en inglés) es un nuevo recurso léxico-semántico resultado de la integración de múltiples fuentes de conocimiento, entre las cuales se encuentran FrameNet, VerbNet, PropBank y ...