Zobrazeno 1 - 10
of 32
pro vyhledávání: '"van Beest, Nick"'
Concurrency is an important aspect of Petri nets to describe and simulate the behavior of complex systems. Knowing which places and transitions could be executed in parallel helps to understand nets and enables analysis techniques and the computation
Externí odkaz:
http://arxiv.org/abs/2401.16097
AI and its relevant technologies, including machine learning, deep learning, chatbots, virtual assistants, and others, are currently undergoing a profound transformation of development and organizational processes within companies. Foundation models
Externí odkaz:
http://arxiv.org/abs/2311.06998
Autor:
Su, Zihang, Yu, Tianshi, Lipovetzky, Nir, Mohammadi, Alireza, Oetomo, Denny, Polyvyanyy, Artem, Sardina, Sebastian, Tan, Ying, van Beest, Nick
A transhumeral prosthesis restores missing anatomical segments below the shoulder, including the hand. Active prostheses utilize real-valued, continuous sensor data to recognize patient target poses, or goals, and proactively move the artificial limb
Externí odkaz:
http://arxiv.org/abs/2309.08106
Publikováno v:
In Engineering Applications of Artificial Intelligence July 2024 133 Part C
Organisations are required to show that their procedures and processes satisfy the relevant regulatory requirements. The computational complexity of proving regulatory compliance is known to be generally hard. However, for some of its simpler variant
Externí odkaz:
http://arxiv.org/abs/2105.05431
In this paper, we present a new methodology to evaluate whether a business process model is fully compliant with a regulatory framework composed of a set of conditional obligations. The methodology is based failure delta-constraints that are evaluate
Externí odkaz:
http://arxiv.org/abs/2001.10148
Publikováno v:
In Artificial Intelligence October 2023 323
Autor:
Olivieri, Francesco, Governatori, Guido, Cristani, Matteo, van Beest, Nick, Colombo-Tosatto, Silvano
Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framework to combine sub-structural features, corresponding to the consumpti
Externí odkaz:
http://arxiv.org/abs/1809.03656
Publikováno v:
In Information Systems February 2019 80:36-55
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.