Inst. de Cienc. Mat. e de Comput., Univ. de Sao Paulo, Sao Carlos;
finite state machines; logic design; logic testing; UIO sequence; checking sequence generation; final state verification sequence; finite state machine; state distinguishing subsequence; state transition; unique input/output sequences; FSM testing; checking sequence; test generation methods;
机译:挖掘非冗余区分随后进行旅行目的地预测
机译:挖掘具有间隙约束的最小区分子序列模式
机译:挖掘具有间隙约束的最小区分子序列模式
机译:使用状态区分子序列检查序列生成
机译:基于频繁区分子序列和基于分区的子序列的植物蛋白定位
机译:使用最长公共子序列过滤来加速序列聚类
机译:使用状态区分子序列检查序列生成
机译:从一系列视频帧中选择视频帧子序列的方法。