BriefGPT.xyz
Ask
alpha
关键词
ai problems
搜索结果 - 2
利用树突特性推进机器学习和神经启发式计算
通过生物神经元的树突机制推导出 AI 领域中的重要问题,为构建更强大、能源效率更高的人工学习系统提供了新的解决方案。
PDF
a year ago
Davis-Putnam 程序在计数模型中的应用
通过使用 Davis-Putnam 算法,提出了一种算法 CDP,用于计算 CNF 或 DNF 公式的模型的准确数量,该算法的平均运行时间是 O (nm^d),在大量的 CNF formulas 实验中的实际表现已经被估计。
PDF
13 years ago
Prev
Next