Examinar Artículos por departamento (eus.) "Hizkuntza eta sistema informatikoak"
Now showing items 1-20 of 82
-
A mechanism for discovering semantic relationships among agent communication protocols
(Springer, 2011-11)One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agent communication capability at the semantic level. Agents should be able to communicate with each other freely ... -
A novel taxonomy of student-generated video styles
(Springer, 2021-11-08)[EN]Video is a medium increasingly used in education. The styles of videos produced for academic purposes have been studied in the literature based mainly on those initially designed by instructors for use in MOOCs. In ... -
A Robust Optimization Based Energy-Aware Virtual Network Function Placement Proposal for Small Cell 5G Networks with Mobile Edge Computing Capabilities
(Hindawi, 2017)In the context of cloud-enabled 5G radio access networks with network function virtualization capabilities, we focus on the virtual network function placement problem for a multitenant cluster of small cells that provide ... -
A Semantic Approach for Big Data Exploration in Industry 4.0
(Elsevier, 2021-04-19)The growing trends in automation, Internet of Things, big data and cloud computing technologies have led to the fourth industrial revolution (Industry 4.0), where it is possible to visualize and identify patterns and ... -
A survey on Sign Language machine translation
(Elsevier, 2023-03)Sign Languages (SLs) are employed by deaf and hard-of-hearing (DHH) people to communicate on a daily basis. However, the communication with hearing people still faces some barriers, mainly because of the scarce knowledge ... -
A Telerehabilitation System for the Selection, Evaluation and Remote Management of Therapies
(MDPI, 2018-05)Telerehabilitation systems that support physical therapy sessions anywhere can help save healthcare costs while also improving the quality of life of the users that need rehabilitation. The main contribution of this paper ... -
Actor-critic continuous state reinforcement learning for wind-turbine control robust optimization
(Elsevier, 2022-04)[EN] The control of Variable-Speed Wind-Turbines (VSWT) extracting electrical power from the wind kinetic energy are composed of subsystems that need to be controlled jointly, namely the blade pitch and the generator torque ... -
Advances in monolingual and crosslingual automatic disability annotation in Spanish
(BMC, 2023-06)Background Unlike diseases, automatic recognition of disabilities has not received the same attention in the area of medical NLP. Progress in this direction is hampered by obstacles like the lack of annotated corpus. ... -
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
(Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig, 2013-03-29)We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define ... -
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 ... -
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 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 ... -
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 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 ... -
CASA: An Architecture to Support Complex Assessment Scenarios
(IEEE, 2020)The evaluation or assessment of student performance and knowledge is a central element of most instructional design models, as it provides the information required to take remediation actions and improve the learning ... -
Cause of Death estimation from Verbal Autopsies: Is the Open Response redundant or synergistic?
(Elsevier, 2023-09)Civil registration and vital statistics systems capture birth and death events to compile vital statistics and to provide legal rights to citizens. Vital statistics are a key factor in promoting public health policies and ... -
Channel phase processing in wireless networks for human activity recognition
(Elsevier, 2023-12)The phase of the channel state information (CSI) is underutilized as a source of information in wireless sensing due to its sensitivity to synchronization errors of the signal reception. A linear transformation of the phase ... -
Characterizing in-band full-duplex in broadcast communications: From field trials to a loopback channel model
(Elsevier, 2024-04-27)In-band full duplex (IBFD) communications are a potential solution to spectrum scarcity. IBFD communications offer greater spectral efficiency than traditional half-duplex communications by transmitting and receiving on ...