Results 261 to 270 of about 11,364 (306)

Diagnosis of timed patterns for discrete event systems by means of state isolation

Automatica, 2023
Dimitri Lefebvre, Zhiwu Li, Ye Liang
exaly  

Real-time Collision using AI

ACM SIGGRAPH 2023 Real-Time Live!, 2023
Lubor Ladicky, Sohyeon Jeong
openaire   +1 more source

The time for AI is now

BDJ In Practice, 2022
openaire   +1 more source

Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice

ACM Computing Surveys, 2023
Johan Arcile, Etienne André
exaly  

The fate of medicine in the time of AI

The Lancet, 2018
openaire   +2 more sources

CRM and AI in Time of Crisis

SSRN Electronic Journal, 2021
Michelle Y. Lu, Navid Mojir
openaire   +1 more source

Verifiers for the detection of timed patterns in discrete event systems

IFAC-PapersOnLine, 2022
Dimitri Lefebvre, Zhiwu Li, Ye Liang
exaly  

Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation

IEEE/CAA Journal of Automatica Sinica, 2021
Zhou He, Ziyue Ma, Zhiwu Li
exaly  

Corrections to “A Menagerie of Timed Automata”

ACM Computing Surveys, 2017
Jeroen J A Keiren, Rance Cleaveland
exaly  

Time for an AI law?

2022
openaire   +1 more source