Listar por Entidad UPV "Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació"
RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia
Listar por Entidad UPV "Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació"
The development of powerful techniques for proving termination of rewriting modulo a set of equational axioms is essential when dealing with rewriting logic-based programming languages like CafeOBJ, Maude, ELAN, OBJ, etc. ...
The Ant Colony Optimization (ACO) has been a very resourceful metaheuristic over the past decade and it has been successfully used to approximately solve many static NP-Hard problems. There is a limit, however, of its ...
Pérez Pérez, María Francisca; Valderas Aranda, Pedro José; Fons Cors, Joan Josep(IEEE, 2013-09)
New technologies are entering medical practice at
an astounding pace. However, these technologies often cause to
doctors learn and use difficulties. Then, doctors require assistance
of a biomedical engineer. This is ...
Escamilla Fuster, Joan; Salido Gregorio, Miguel Angel(SAGE Publications (UK and US), 2016)
[EN] Manufacturing systems involve a huge number of combinatorial problems that must be optimized in an efficient way. One
of these problems is related to task scheduling problems. These problems are NP-hard, so most of ...
Manufacturing systems face the challenge of accomplishing the productive effectiveness and sustainable efficiency goals at operational level. For this, manufacturing control systems must incorporate a mechanism that balances ...
[EN] Arc-Consistency algorithms are the most commonly used ltering techniques
to prune the search space in Constraint Satisfaction Problems (CSPs). 2-consistency is
a similar technique that guarantees that any instantiation ...
Arangú Lobig, Marlene Alicia; Salido Gregorio, Miguel Angel(University of Zielona Gora Press, 2011)
Constraint programming is a powerful software technology for solving numerous real-life problems. Many of these problems can be modeled as Constraint Satisfaction Problems (CSPs) and solved using constraint programming ...
Blasco, Daniel; Cetina, Carlos; Pastor López, Oscar(Elsevier, 2020-03)
[EN] Context:Commercial video games usually feature an extensive source code and requirements that are related to code lines from multiple methods. Traceability is vital in terms of maintenance and content update, so it ...
Martínez Martínez, Francisco; Rupérez Moreno, María José; Martínez-Sober, M.; Solves Llorens, Juan Antonio; Lorente, D.; Serrano-Lopez, A.J.; Martinez-Sanchis, Sandra; Monserrat, C.; Martin-Guerrero, J.D.(Elsevier, 2017-11-01)
[EN] This work presents a data-driven method to simulate, in real-time, the biomechanical behavior of the breast tissues in some image-guided interventions such as biopsies or radiotherapy dose delivery as well as to speed ...
This paper describes an approach for solving differential Riccati equations (DRE), by means of the backward differentiation formula (BDF) and resolution of the corresponding implicit equation using Newton’s method with a ...
[EN] The main goal of this paper is to provide an approach to solve the problem of localization in mobile robots using multi-agent systems. Usually, the robot localization problem is solved in static environments by the ...
Torreño Lerma, Alejandro; Onaindia de la Rivaherrera, Eva; Sapena Vercher, Oscar(Springer Verlag (Germany), 2014-01)
Multi-agent planning (MAP) approaches are typically oriented at solving loosely
coupled problems, being ineffective to deal with more complex, strongly related problems.
In most cases, agents work under complete information, ...
Armendáriz-Iñigo, J.E.; Juárez-Rodríguez, J.R.; González de Mendívil, J.R.; Garitagoitia, J.R.; Irún Briz, Luis; Muñoz Escoí, Francisco Daniel(Elsevier, 2011-01)
Snapshot isolation (SI) is commonly used in some commercial DBMSs with a multiversion
concurrency control mechanism since it never blocks read-only transactions. Recent database
replication protocols have been designed ...
Boronat Moll, Arturo(Universitat Politècnica de València, 2008-05-07)
El Desarrollo de Software Dirigido por Modelos es una rama de la Ingeniería del Software en la
que los artefactos software se representan como modelos para incrementar la productividad, calidady eficiencia económica en ...
Martínez-Cánovas, Guillem; Del Val Noguera, Elena; Botti Navarro, Vicente Juan; Hernández, Penélope; Rebollo Pedruelo, Miguel(Elsevier, 2016-01-01)
New systems can be designed, developed, and managed as societies of agents that interact
with each other by offering and providing services. These systems can be viewed as complex
networks where nodes are bounded rational ...
[EN] MapReduce is one of the most widely used programming models for analysing large-scale datasets, i.e. Big Data. In recent years, serverless computing and, in particular, Functions as a Service (FaaS) has surged as an ...
Nishid, Naoki; Vidal Oriola, Germán Francisco(Elsevier, 2015-03)
The search space of SLD resolution, usually represented by means of a so-called SLD tree, is often infinite. However, there are many applications that must deal with possibly infinite SLD trees, like partial evaluation or ...
Giraldo Velásquez, Faber Danilo(Universitat Politècnica de València, 2017-11-07)
This thesis presents the Multiple Modelling Quality Evaluation Framework method (hereinafter MMQEF), which is a conceptual, methodological, and technological framework for evaluating quality issues in modelling languages ...
Lorente, D.; Martínez-Martínez, F.; Rupérez Moreno, María José; Lago, M. A.; Martínez-Sober, M.; Escandell-Montero, P.; Martínez-Martínez, J. M.; Martínez-Sanchis, S.; Serrano-López, A.J.; Monserrat, C.; Martín-Guerrero, J.D.(Elsevier, 2017-04-01)
Progress in biomechanical modelling of human soft tissue is the basis for the development of new clinical applications capable of improving the diagnosis and treatment of some diseases (e.g. cancer), as well as the surgical ...
Gómez Llana, Abel; Penadés Gramage, María Carmen; Canos Cerda, José Hilario; Borges, Marcos R.S; Llavador Campos, Manuel(Elsevier, 2014-09)
Context -
Advances in customization have highlighted the need for tools supporting variable content document management and generation in many domains. Current tools allow the generation of highly customized documents ...