欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenVX - 计算机视觉应用和程序库的硬件加速API
计算机视觉已经成为众多现代应用中一个必不可少的元素,包括手势跟踪、智能视频监控、自动驾驶员辅助、生物统计学、计算摄影学、增强现实技术、视觉检验、机器人学等等。Khronos视觉工作小组将本着行业共识,创建一个跨平台的API标准,使硬件供应商可以执行和优化加速计算机视觉算法。