Aineto, Diego; Jiménez-Celorrio, Sergio; Onaindia De La Rivaherrera, Eva(AI Access Foundation, 2022)
[EN] A declarative action model is a compact representation of the state transitions of dynamic systems that generalizes over world objects. The specification of declarative action models is often a complex hand-crafted ...
Farhat, Nidal; Zamora-Ortiz, Pau; Reichert, David; Mata Amela, Vicente; Page Del Pozo, Alvaro Felipe; Valera Fernández, Ángel(MDPI AG, 2022-03)
[EN] We present and validate a computationally efficient lower limb musculoskeletal model for the control of a rehabilitation robot. It is a parametric model that allows the customization of joint kinematics, and it is ...
Sapiña Sanchis, Julia(Universitat Politècnica de València, 2012-10-02)
In this work we develop Julienne, an online trace slicer for the high
performance rewriting logic language Maude.
Trace slicing is a widely used technique for execution trace analysis that
is effectively used in program ...
[EN] Learning in AI planning tries to recognize past conducts to predict features that help improve action models.
We propose a constraint programming approach for learning the temporal features, i.e., the distribution of ...
Alghamdi, Osama(Universitat Politècnica de València, 2021-01-07)
[EN] The use of blockchain is increasing rapidly in all sectors, since the advantages of this technology helps companies solve certain problems, and also keeps the information privacy of the users and makes them trust the ...
[EN] Background and Objective: Breast density assessed from digital mammograms is a biomarker for higher risk of developing breast cancer. Experienced radiologists assess breast density using the Breast Image and Data ...
This paper presents a methodology to address lexical disambiguation in a standard phrase-based statistical
machine translation system. Similarity among source contexts is used to select appropriate translation
units. The ...
Sahuquillo Borrás, Julio; Hassan Mohamed, Houcine; Petit Martí, Salvador Vicente; March Cabrelles, José Luis; Duato Marín, José Francisco(Elsevier, 2016-03)
Nowadays, real-time embedded applications have to cope with an increasing demand of functionalities,
which require increasing processing capabilities. With this aim real-time systems are being implemented
on top of ...
Panach Navarrete, Jose Ignacio; Pastor López, Oscar; JURISTO, NATALIA(Institute of Electrical and Electronics Engineers, 2022-12-01)
[EN] Context: There are many papers which extol the benefits of Model-Driven Development (MDD) compared to traditional developments. However, the adoption of MDD to develop fully functional systems without coding is not ...
Bermúdez Garzón, Diego Fernando; Gómez Requena, Crispín; Gómez Requena, María Engracia; López Rodríguez, Pedro Juan; Duato Marín, José Francisco(Institute of Electrical and Electronics Engineers (IEEE), 2016-04)
On the one hand, performance and fault-tolerance of interconnection networks are key design issues for high performance computing (HPC) systems. On the other hand, cost should be also considered. Indirect topologies are ...
García, Mª Emilia; Valero Cubas, Soledad; Argente, Estefanía; Giret Boggino, Adriana Susana; Julian, Vicente(Institute of Electrical and Electronics Engineers, 2008-03)
[EN] One of the main critical problems in manufacturing system domains is the production scheduling process, because an agile and reactive production planning and scheduling system is essential in manufacturing. The ...
In the context of computed tomography (CT), iterative image reconstruction techniques are gaining attention because high-quality images are becoming computationally feasible. They involve the solution of large systems of ...
[EN] The increased accuracy and exhaustivity of modern Artificial Intelligence techniques in supporting the analysis of complex data, such as medical images, have exponentially increased real-world data collection for ...
Narrowing basically extends rewriting by allowing free variables
in terms and by replacing matching with unification. As a consequence,
the search space of narrowing becomes usually infinite, as in
logic programming. ...
The Polytechnic University of Valencia (PUV) in Spain, has a special School of Engineering in
Computer Science. The school offers a Bachelor’s Degree in Computer Engineering. A first service
course in statistics is a ...
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 ...
Franco Martins, Beatriz; Serrano-Gil, Lenin Javier; REYES ROMÁN, JOSÉ FABIÁN; Panach, Jose Ignacio; Pastor López, Oscar; Hadad, Moshe; Rochwerger, Benny(Springer-Verlag, 2022-08)
[EN] Organizations are actively seeking efficient solutions for the management and protection of their assets. However, Cybersecurity is a vast and complex domain, especially for large enterprises because it requires an ...
[EN] In this article, we show how to introduce students to modeling while exposing the power of graph theory as a modeling tool. For that purpose, we propose a problem aimed at university students based on a game where the ...
Algorithmic debugging is a semi-automatic debugging technique that
is present in practically all mature programming languages. In this paper we claim
that the state of the practice in algorithmic debugging is a step ...