Automata; Reduced order systems; Actuators; Sensors; Cyber-physical systems; Analytical models; Discrete-event systems;
机译:在离散事件系统的主管综合中利用对称性
机译:利用组件依赖性通过概率图形模型进行准确,高效的软错误分析
机译:通过应用文本依赖性图来使用本体是半监督标记主题模型的预知源的方法
机译:在离散事件系统的主管综合中利用对称性
机译:利用有机合成中的对称性。
机译:具有通用对称性的基于索引的子图匹配算法(ISMAGS):利用对称性实现更快的子图枚举
机译:基于索引的通用对称子图匹配算法(IsmaGs):利用对称性来实现更快的子图枚举。