Filter your results
- 2
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 2
- 1
|
|
|
sorted by
|
|
|
Regular Inference on Artificial Neural Networks2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.350-369, ⟨10.1007/978-3-319-99740-7_25⟩
Conference papers
hal-02060043v1
|
||
|
|
On-the-fly Black-Box Probably Approximately Correct Checking of Recurrent Neural Networks4th International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2020, Dublin, Ireland. pp.343-363, ⟨10.1007/978-3-030-57321-8_19⟩
Conference papers
hal-03414742v1
|