Money Transfer Made Simple: a Specification, a Generic Algorithm, and its Proof.
Alex AuvolatDavide FreyMichel RaynalFrançois TaïaniPublished in: Bull. EATCS (2020)
Keyphrases
- provably correct
- optimization algorithm
- detection algorithm
- dynamic programming
- segmentation algorithm
- expectation maximization
- experimental evaluation
- improved algorithm
- times faster
- computational cost
- probabilistic model
- high accuracy
- simulated annealing
- preprocessing
- segmentation method
- clustering method
- selection algorithm
- optimal solution
- cost function
- significant improvement
- computational complexity
- neural network
- computationally efficient
- input data
- worst case
- np hard
- tree structure
- matching algorithm
- convex hull
- memory requirements
- recognition algorithm
- formal specification