Zobrazeno 1 - 10
of 1 409
pro vyhledávání: '"Carpenter, P. J."'
Autor:
Bakri SJ, Amoaku WM, Altman D, Quéré S, Quilantan J, Carpenter-Conlin J, Sarda SP, Jones DL, Nielsen JS
Publikováno v:
Clinical Ophthalmology, Vol Volume 18, Pp 2357-2368 (2024)
Sophie J Bakri,1 Winfried MK Amoaku,2 Danielle Altman,3 Stéphane Quéré,4 Jaclyn Quilantan,5 Julia Carpenter-Conlin,5 Sujata P Sarda,5 Daniel L Jones,5 Jared S Nielsen6, † 1Department of Ophthalmology, Mayo Clinic, Rochester, MN, USA; 2Faculty of
Externí odkaz:
https://doaj.org/article/6f52f6d034ee4c268187f49303abde91
This paper presents ModelGuard, a sampling-based approach to runtime model validation for Lipschitz-continuous models. Although techniques exist for the validation of many classes of models the majority of these methods cannot be applied to the whole
Externí odkaz:
http://arxiv.org/abs/2104.15006
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.
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.
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:
Ivanov, Radoslav, Carpenter, Taylor J., Weimer, James, Alur, Rajeev, Pappas, George J., Lee, Insup
This paper describes a verification case study on an autonomous racing car with a neural network (NN) controller. Although several verification approaches have been proposed over the last year, they have only been evaluated on low-dimensional systems
Externí odkaz:
http://arxiv.org/abs/1910.11309
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.
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.
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.
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.