On the high level canonical representation of piecewise linear functions | IEEE Conference Publication | IEEE Xplore