机译:基于多角度声明式过程模型的一致性检查
机译:基于对齐的框架,用于检查声明性过程模型的符合性并预处理事件日志数据
机译:基于多阶段模拟的混合整数非线性规划方法,以支持天气过程中的海上溢油回收
机译:用于多视角一致性检查的事件日志和过程模型的对齐:基于整数线性规划的方法
机译:基于知识的方法来检查设计是否符合标准
机译:高等教育招生能力的一般性国家规划方法:带有新型差分进化算法的非线性整数目标规划模型
机译:多角度一致性检查的对齐事件日志和过程模型:基于整数线性规划的方法
机译:半自动邮件处理分析的仿真与混合整数线性规划模型。