Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms
No Thumbnail Available
Files
Date
2015
Journal Title
Journal ISSN
Volume Title
Publisher
Institute of electrical and electronics engineers
Abstract
Description
408-428 p. ; 2.019 ko.
Keywords
Interfaces de programmation d'applications, API, API Java (logiciels), Algorithmes d’inférence, InvariMint, Algorithme kTails