XAIVIER: Time Series Classifier Verification with Faithful Explainable AI.
Ilija SimicSantokh SinghChristian PartlEduardo E. VeasVedran SabolPublished in: IUI Companion (2024)
Keyphrases
- artificial intelligence
- training data
- dynamic time warping
- nearest neighbor classifier
- expert systems
- model checking
- classifier systems
- classification method
- machine learning
- classification algorithm
- multivariate time series
- face verification
- classification process
- linear classifiers
- non stationary
- training samples
- decision trees
- support vector machine
- support vector
- training examples
- formal methods
- feature space
- class labels
- verification method
- feature selection
- knowledge representation
- case based reasoning
- feature set
- artificial neural networks
- learning classifier systems
- stock price
- stock market
- classifier combination
- ai systems