搜索结果: 1-2 共查到“计算机科学技术基础学科 invariants”相关记录2条 . 查询时间(0.062 秒)
We describe a Guess-and-Check algorithm for computing algebraic equation invariants of the form ∧ifi(x1, . . . , xn) = 0, where each fi is a polynomial over the variables x1, . . . , xn of the program...
Heading judgments in minimal environments:The value of a heuristic when invariants are rare
Heading judgments minimal environments heuristic invariants
2015/8/13
Observers made systematic heading judgments in two experiments simulating their translation through an environment with only two trees. When those trees converged or decelerated apart, ob-servers tend...