CEMiner -- An Efficient Algorithm for Mining Closed Patterns from Time Interval-Based Data | IEEE Conference Publication | IEEE Xplore