...
机译:关于双仿真的计算复杂度,redux
SUNY Stony Brook, Dept Comp Sci, Stony Brook, NY 11790 USA;
one-counter machines; equivalence-checking; model-checking; automata; formal languages; bisimulation equivalence; complexity; CONTEXT-FREE LANGUAGES; DPDA EQUIVALENCE; PETRI NETS; DECIDABILITY; BISIMILARITY; UNDECIDABILITY; LECTURE; SYSTEMS;
机译:有限系统中双仿真和仿真的复杂性
机译:有限系统上双仿真的并行复杂性
机译:使用近似双模拟的低复杂度量化开关控制器
机译:关于双仿真的计算复杂度,redux
机译:超级计算的并行计算复杂度和数据传递复杂度
机译:使用计算量度预测抽象图案的视觉复杂度:镜面对称性对复杂度感知的影响
机译:关于双仿真的计算复杂度,redux
机译:重整化群图像处理方法,机器人视觉中三维形状的一种新计算方法,以及冷却算法的计算复杂性。