Zobrazeno 1 - 10
of 37
pro vyhledávání: '"Verstoep, Kees"'
Nowadays, the deployment of deep learning models on edge devices for addressing real-world classification problems is becoming more prevalent. Moreover, there is a growing popularity in the approach of early classification, a technique that involves
Externí odkaz:
http://arxiv.org/abs/2306.14606
In current research, machine and deep learning solutions for the classification of temporal data are shifting from single-channel datasets (univariate) to problems with multiple channels of information (multivariate). The majority of these works are
Externí odkaz:
http://arxiv.org/abs/2210.07713
Nowadays, with the rising number of sensors in sectors such as healthcare and industry, the problem of multivariate time series classification (MTSC) is getting increasingly relevant and is a prime target for machine and deep learning approaches. The
Externí odkaz:
http://arxiv.org/abs/2204.01379
Publikováno v:
EPTCS 72, 2011, pp. 84-90
Spin in Java (SpinJa) is an explicit state model checker for the Promela modelling language also used by the SPIN model checker. Designed to be extensible and reusable, the implementation of SpinJa follows a layered approach in which each new layer e
Externí odkaz:
http://arxiv.org/abs/1111.0374
Publikováno v:
In Future Generation Computer Systems October 2013 29(8):2239-2251
Autor:
Kielmann, Thilo, Bal, Henri E., Maassen, Jason, van Nieuwpoort, Rob, Eyraud, Lionel, Hofman, Rutger, Verstoep, Kees
Publikováno v:
In Future Generation Computer Systems 2002 18(8):1113-1125
Publikováno v:
In Parallel Computing 2001 27(11):1431-1456
Publikováno v:
Perspectives of System Informatics; 2015, p361-375, 15p
Publikováno v:
Formal Techniques for Distributed Objects, Components & Systems; 2014, p17-32, 16p
Autor:
Remenska, Daniela, Templon, Jeff, Willemse, Tim A. C., Homburg, Philip, Verstoep, Kees, Casajus, Adria, Bal, Henri
Publikováno v:
NASA Formal Methods; 2013, p244-260, 17p