Zobrazeno 1 - 10
of 51
pro vyhledávání: '"Clarisó, Robert"'
The integration of Large Language Models (LLMs) into various software applications raises concerns about their potential biases. Typically, those models are trained on a vast amount of data scrapped from forums, websites, social media and other inter
Externí odkaz:
http://arxiv.org/abs/2404.18558
The development of Machine Learning (ML) based systems is complex and requires multidisciplinary teams with diverse skill sets. This may lead to communication issues or misapplication of best practices. Process models can alleviate these challenges b
Externí odkaz:
http://arxiv.org/abs/2404.18531
Publikováno v:
ACM Conversational User Interfaces (2024) 8-10
Tabular data is the most common format to publish and exchange structured data online. A clear example is the growing number of open data portals published by public administrations. However, exploitation of these data sources is currently limited to
Externí odkaz:
http://arxiv.org/abs/2305.11326
Publikováno v:
EPTCS 206, 2016, pp. 46-60
Feature Models (FMs) are a mechanism to model variability among a family of closely related software products, i.e. a software product line (SPL). Analysis of FMs using formal methods can reveal defects in the specification such as inconsistencies th
Externí odkaz:
http://arxiv.org/abs/1604.00349
Autor:
Zolotas, Athanasios, Clarisó, Robert, Matragkas, Nicholas, Kolovos, Dimitrios S., Paige, Richard F.
Publikováno v:
In Computer Languages, Systems & Structures September 2017 49:216-230
Publikováno v:
International Journal of Web Information Systems, 2017, Vol. 13, Issue 1, pp. 25-54.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/IJWIS-12-2016-0074
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Tabular data is the most common format to publish and exchange structured data online. A clear example is the growing number of open data portals published by all types of public administrations. However, exploitation of these data sources is current
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c21f016edc5f97cb4c1ae2f6534e826
http://arxiv.org/abs/2305.11326
http://arxiv.org/abs/2305.11326
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Clarisó, Robert, Cabot, Jordi
Publikováno v:
Rigorous State-Based Methods
Complex software systems can be described using modeling notations such as UML/OCL or Alloy. Then, some correctness properties of these systems can be checked using model finders, which compute sample scenarios either fulfilling the desired propertie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::575158613d0c610bfb992a1bbbf37350
http://europepmc.org/articles/PMC7242039
http://europepmc.org/articles/PMC7242039