Universidad de Castilla-La Mancha Instituto de Investigation en Informatica (I3A) and Escuela Politecnica Superior de Albacete, 02071 - Albacete, Spain;
Universidad Nacional de Education a Distancia E.T.S.I. Informatica, 28040 - Madrid, Spain;
机译:运动检测任务的知识建模:算法横向抑制方法
机译:在累积计算中通过横向抑制进行实时运动检测
机译:实时Maude中无线传感器网络算法的形式化建模,性能评估和模型检查
机译:算法横向抑制正式模型,用于实时运动检测
机译:自闭症儿童运动状态下生理唤醒检测实时算法的开发
机译:实时运动检测算法的横向抑制的有限状态机方法
机译:累积计算中横向抑制的实时运动检测
机译:冲突检测算法的形式验证