formal verification; learning (artificial intelligence); program diagnostics; reasoning about programs; software maintenance;
机译:使用视图属性过滤的Android布局代码的代码克隆检测技术
机译:集成光子解码器,具有互补码处理和平衡检测功能,可进行二维光码分多址访问
机译:Re:Blaha J等人:用于高灵敏度检测的单克隆抗CD157抗体克隆Sy11b5在WBC上的PNH克隆的高灵敏度检测,不能检测由BST-1编码的常见多态性变体
机译:双取景器:指针相关码克隆检测的综合推理引擎
机译:用于代码克隆检测的主题建模方法
机译:IN-MACA-MCC:具有修饰的克隆分类器的集成多吸引子细胞自动机用于人类蛋白编码和启动子预测
机译:双取景器:指针相关码克隆检测的综合推理引擎