Zobrazeno 1 - 10
of 161
pro vyhledávání: '"Morgado, António"'
Autor:
Izza, Yacine, Huang, Xuanxiang, Morgado, Antonio, Planes, Jordi, Ignatiev, Alexey, Marques-Silva, Joao
The uses of machine learning (ML) have snowballed in recent years. In many cases, ML models are highly complex, and their operation is beyond the understanding of human decision-makers. Nevertheless, some uses of ML models involve high-stakes and saf
Externí odkaz:
http://arxiv.org/abs/2405.08297
Autor:
Fondo-Ferreiro, Pablo, Gil-Castiñeira, Felipe, González-Castaño, Francisco Javier, Candal-Ventureira, David, Rodriguez, Jonathan, Morgado, Antonio J., Mumtaz, Shahid
Publikováno v:
IEEE Transactions on Vehicular Technology, vol. 72, no. 12, pp. 16637 - 16649, December 2023
Next-generation cellular networks will play a key role in the evolution of different vertical industries. Low latency will be a major requirement in many related uses cases. This requirement is specially challenging in scenarios with high mobility of
Externí odkaz:
http://arxiv.org/abs/2403.19348
In the practical deployment of machine learning (ML) models, missing data represents a recurring challenge. Missing data is often addressed when training ML models. But missing data also needs to be addressed when deciding predictions and when explai
Externí odkaz:
http://arxiv.org/abs/2306.15803
Given a machine learning (ML) model and a prediction, explanations can be defined as sets of features which are sufficient for the prediction. In some applications, and besides asking for an explanation, it is also critical to understand whether sens
Externí odkaz:
http://arxiv.org/abs/2210.15675
Computer Science course instructors routinely have to create comprehensive test suites to assess programming assignments. The creation of such test suites is typically not trivial as it involves selecting a limited number of tests from a set of (semi
Externí odkaz:
http://arxiv.org/abs/2207.09509
Tese de mestrado. Engenharia Civil (Área de especialização de Construção de Edifícios). 1996. Faculdade de Engenharia. Universidade do Porto
Externí odkaz:
http://hdl.handle.net/10216/11190
Publikováno v:
In Journal of Symbolic Computation November-December 2023 119:50-63
Model based diagnosis finds a growing range of practical applications, and significant performance-wise improvements have been achieved in recent years. Some of these improvements result from formulating the problem with maximum satisfiability (MaxSA
Externí odkaz:
http://arxiv.org/abs/1707.01972
Recent years have witness remarkable performance improvements in maximum satisfiability (MaxSAT) solvers. In practice, MaxSAT algorithms often target the most generic MaxSAT formulation, whereas dedicated solvers, which address specific subclasses of
Externí odkaz:
http://arxiv.org/abs/1705.05335
The practical success of Boolean Satisfiability (SAT) solvers stems from the CDCL (Conflict-Driven Clause Learning) approach to SAT solving. However, from a propositional proof complexity perspective, CDCL is no more powerful than the resolution proo
Externí odkaz:
http://arxiv.org/abs/1705.01477