Search
Now showing items 1-10 of 94
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 ...
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 ...
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 ...
On-demand serverless video surveillance with optimal deployment of deep neural networks
(SciTePress, Science and Technology Publications, Lda, 2021)
[EN] We present an approach to optimally deploy Deep Neural Networks (DNNs) in serverless cloud architectures.
A serverless architecture allows running code in response to events, automatically managing the required
computing ...
Consensus graph and spectral representation for one-step multi-view kernel based clustering
(Elsevier, 2022-04-06)
Recently, multi-view clustering has received much attention in the fields of machine learning and pattern recognition. Spectral clustering for single and multiple views has been the common solution. Despite its good ...
Impulsive Vaccination for an Epidemiology Model
(IOP Publishing, 2017)
This paper investigates sufficient conditions of almost periodic sand periodic solutions of an integral model under impulsive controls. Since the model is of generic epidemiological interest, such impulsive controls are ...
Learning Multirobot Hose Transportation and Deployment by Distributed Round-Robin Q-Learning
(Public Library Science, 2015-07-09)
Multi-Agent Reinforcement Learning (MARL) algorithms face two main difficulties: the curse of dimensionality, and environment non-stationarity due to the independent learning processes carried out by the agents concurrently. ...
Reproducibility dataset for a large experimental survey on word embeddings and ontology-based methods for word similarity
(Elsevier, 2019-10-26)
This data article introduces a reproducibility dataset with the aim of allowing the exact replication of all experiments, results and data tables introduced in our companion paper (Lastra-Diaz et al., 2019), which introduces ...
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 ...
QoE-Oriented Mobile Edge Service Management Leveraging SDN and NFV
(Hindawi, 2017)
5G envisages a "hyperconnected society" where trillions of diverse entities could communicate with each other anywhere and at any time, some of which will demand extremely challenging performance requirements such as ...