Deriving generic bounds for time-series constraints based on regular expressions characteristics
暂无分享,去创建一个
[1] Thomas Colcombet,et al. Approximate Comparison of Functions Computed by Distance Automata , 2015, Theory of Computing Systems.
[2] Mats Carlsson,et al. Using finite transducers for describing and synthesising structural time-series constraints , 2015, Constraints.
[3] Gilles Pesant,et al. A Regular Language Membership Constraint for Finite Sequences of Variables , 2004, CP.
[4] Mats Carlsson,et al. Global Constraint Catalog, Volume II, Time-Series Constraints , 2016, ArXiv.
[5] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[6] Rajeev Alur,et al. Regular Functions and Cost Register Automata , 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
[7] Marcel Paul Schützenberger,et al. On the Definition of a Family of Automata , 1961, Inf. Control..
[8] Toru Fujiwara,et al. A Tractable Subclass of DTDs for XPath Satisfiability with Sibling Axes , 2009, DBPL.
[9] Mats Carlsson,et al. A Generic Visualization Platform for CP , 2010, CP.
[10] Rajeev Alur,et al. Regular Programming for Quantitative Properties of Data Streams , 2016, ESOP.
[11] Mats Carlsson,et al. Deriving Filtering Algorithms from Constraint Checkers , 2004, CP.
[12] Helmut Simonis,et al. Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker , 2013, CP.
[13] Maxime Crochemore,et al. Algorithms on strings , 2007 .
[14] Gilles Pesant,et al. A Cost-Regular Based Hybrid Column Generation Approach , 2006, Constraints.
[15] Mats Carlsson,et al. Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators , 2014, CP.
[16] Mats Carlsson,et al. Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints , 2016, CP.
[17] Pierre Flener,et al. Time-Series Constraints: Improvements and Application in CP and MIP Contexts , 2016, CPAIOR.