算法

人工智能, 图像处理, 算法, 计算机科学, 计算机视觉

松弛标记 (Relaxation Labelling)

图像分割, 图像处理, 松弛标记, 算法, 计算机视觉

人工智能, 优化, 算法, 约束满足问题, 计算机科学

约束满足问题的对偶问题 (Constraint Satisfaction Dual Problem)

CSP, 人工智能, 优化, 算法, 约束

并行计算, 技术, 算法, 计算机科学, 语言学

PCGS

PCGS, 并行, 计算机, 计算模型, 语法系统

动力学, 数值分析, 物理学, 算法, 计算科学

比曼算法 (Beeman’s algorithm)

分子动力学, 常微分方程, 数值积分, 比曼算法, 物理模拟

人工智能, 算法, 自动推理, 计算机科学, 逻辑学

模型消除 (Model Elimination)

模型消除, 知识表示, 算法, 自动定理证明, 逻辑编程