Zobrazeno 1 - 10
of 1 060
pro vyhledávání: '"Tiwari, Praveen"'
Property Specification Language (PSL) is a form of temporal logic that has been mainly used in discrete domains (e.g. formal hardware verification). In this paper, we show that by merging machine learning techniques with PSL monitors, we can extend P
Externí odkaz:
http://arxiv.org/abs/2205.14136
Autor:
Thimmisetty, Charanraj, Tiwari, Praveen, de la Iglesia, Didac Gil, Ramanan, Nandini, Sayer, Marjorie, Ananthakrishnan, Viswesh, Coelho Jr, Claudionor Nunes
Analysis of large observational data sets generated by a reactive system is a common challenge in debugging system failures and determining their root cause. One of the major problems is that these observational data suffer from survivorship bias. Ex
Externí odkaz:
http://arxiv.org/abs/2105.14149
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:
Tiwari, Pushpendra, Ansari, Waquar Akhter, Kumar, Shiv Charan, Tiwari, Praveen Kumar, Kumar, Murugan, Chakdar, Hillol, Srivastava, Alok Kumar, Saxena, Anil Kumar, Shantikumar, Laishram
Publikováno v:
Current Microbiology; Nov2024, Vol. 81 Issue 11, p1-11, 11p
Autor:
Tiwari, Praveen 1985
Geometric covering problems have always been of focus in computer scientific research. The generic geometric covering problem asks to cover a set S of n objects with another set of objects whose cardinality is minimum, in a geometric setting. Many ve
Externí odkaz:
http://hdl.handle.net/1969.1/148314
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.