...
机译:使用容器进行程序的精确推理
container analysis; heap analysis; symbolic heap;
机译:使用容器进行程序的精确推理
机译:通过嵌套条件进行推理:使用概率程序对心智模型进行建模
机译:集装箱运输超网络中集装箱港口博弈的双层编程模型
机译:使用容器的程序的精确推理
机译:精度:上下文信息个性化的基于项目的协作过滤和基于案例的推理的混合。
机译:集装箱港口出现的海边作业组合混合整数规划模型的进化方法
机译:精确和自动的基于合同的推理,用于验证和认证带有数组的程序的信息流属性