Keyword:algorithm

Papers
Representation, Reconstruction and Recognition of 3D Objects Mark Burgin and Allen Klinger EasyChair Preprint no. 10
A Learning Algorithm for Episodes Tom Obry In:28th International Workshop on Principles of Diagnosis (DX'17)
Transforming Event B Models into Verified C# Implementations Dominique Mery and Rosemary Monahan In:VPT 2013. First International Workshop on Verification and Program Transformation