Examinar Comunicaciones por departamento (cas.) "Lenguajes y sistemas informáticos"
Now showing items 1-9 of 9
-
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 ... -
Extending Fairness Expressibility of ECTL+: A Tree-Style One-Pass Tableau Approach
(Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018-10-08)Temporal logic has become essential for various areas in computer science, most notably for the specification and verification of hardware and software systems. For specification purposes rich temporal languages are required ... -
OLYMPUS: An intelligent interactive learning platform for procedural tasks
(ScitePress, 2012)Providing Interactive Systems with educational capabilities is essential in order to achieve real effectiveness in simulation based training. However, the development cost of adding intelligence to those systems is huge. ... -
One-Pass Context-Based Tableaux Systems for CTL and ECTL
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020-09-25)When building tableau for temporal logic formulae, applying a two-pass construction, we first check the validity of the given tableaux input by creating a tableau graph, and then, in the second “pass”, we check if all the ... -
Personalized Nutritional Guidance System to Prevent Malnutrition in Pluripathological Older Patients
(SciTePress, 2022)Malnutrition is a frequent problem in the elderly population, who usually is affected by one or more pathologies. The health status of these patients can get worsened if malnutrition is left untreated. Nutritional guidelines ... -
Semantic Web Technology for Agent Communication Protocols.
(Springer, 2008)One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. The agents should be able to communicate and understand each ... -
SPIN at MentalRiskES 2023: Transformer-Based Model for Real-Life Depression Detection in Messaging Apps
(CEUR-WS, 2023)Depression is a prevalent and severe mental health condition that significantly impacts global population, causing personal suffering and reduced quality of life. Its symptoms are often visible on social media and digital ... -
Towards Certified Model Checking for PLTL Using One-Pass Tableaux
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019-10-19)The standard model checking setup analyses whether the given system specification satisfies a dedicated temporal property of the system, providing a positive answer here or a counter-example. At the same time, it is often ... -
Use of semantic technology to describe and reason about communication protocols
(SciTePress, 2008)Nowadays there is a tendency to enhance the functionality of Information Systems by appropriate information agents. Those information agents communicate through communication acts expressed in an Agent Communication Language. ...