Zobrazeno 1 - 10
of 541
pro vyhledávání: '"Faella, M."'
Publikováno v:
In Artificial Intelligence May 2015 222:1-48
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.
We study the rational preferences of agents participating in a mechanism whose outcome is a weak order among participants. We propose a set of self-interest axioms and characterize the mutual relationships between all subsets thereof. We then assume
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3730::e480d5d5f6a8c70cf612d68289af955d
http://hdl.handle.net/11588/829550
http://hdl.handle.net/11588/829550
We address the problem of identifying the best arm in a pure-exploration multi-armed bandit problem. In this setting, the agent repeatedly pulls arms in order to identify the one associated with the maximum expected reward. We focus on the fixed-budg
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3730::38ffe037cbe5504c7f0854a18638fad5
http://hdl.handle.net/11588/823103
http://hdl.handle.net/11588/823103
We study the rational preferences of an agent participating to a mechanism whose outcome is a weak order among participants. We propose a set of self-interest axioms and characterize the resulting preference theories.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3730::073e445452895b0cf4aedb20627775f1
http://hdl.handle.net/11588/800008
http://hdl.handle.net/11588/800008
Nonmonotonic inferences are not yet supported by Description Logic technology, although their potential usefulness is widely recognized. Lack of support to nonmonotonic reasoning is due to a number of issues related to expressiveness, computational c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3730::72fee1757bea3a4e15f614ba1b228c46
http://hdl.handle.net/11588/858988
http://hdl.handle.net/11588/858988
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:
Chatterjee, K., de Alfaro, L., Faella, M., Henzinger, T.A., Majumdar, R., Stoelinga, Mariëlle Ida Antoinette
Publikováno v:
Third International Conference on the Quantitative Evaluation of Systems (QEST'06), 179-189
STARTPAGE=179;ENDPAGE=189;TITLE=Third International Conference on the Quantitative Evaluation of Systems (QEST'06)
STARTPAGE=179;ENDPAGE=189;TITLE=Third International Conference on the Quantitative Evaluation of Systems (QEST'06)
We present a compositional theory of system verifica tion, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantitative system properties, such as resource consumption, price or a measure of how w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::1bce833be17ded7f1cc95e43db083080
https://research.utwente.nl/en/publications/fedd2827-531f-43ea-a321-14938e4941ef
https://research.utwente.nl/en/publications/fedd2827-531f-43ea-a321-14938e4941ef
Autor:
de Alfaro, L., Faella, M., Stoelinga, Mariëlle Ida Antoinette, Díaz, J., Karhumäki, J., Lepistö, A., Sannella, D.
Publikováno v:
Automata, Languages and Programming ISBN: 9783540228493
ICALP
STARTPAGE=97;ENDPAGE=109;TITLE=None
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, 97-109
STARTPAGE=97;ENDPAGE=109;TITLE=Automata, Languages and Programming
ICALP
STARTPAGE=97;ENDPAGE=109;TITLE=None
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, 97-109
STARTPAGE=97;ENDPAGE=109;TITLE=Automata, Languages and Programming
We extend the basic system relations of trace inclusion, trace equivalence, simulation, and bisimulation to a quantitative setting in which propositions are interpreted not as boolean values, but as real values in the interval [0,1]. Trace inclusion
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c4589584f0f0be136c748ff226dd743
https://doi.org/10.1007/978-3-540-27836-8_11
https://doi.org/10.1007/978-3-540-27836-8_11
Kniha
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.