搜索结果：cv（7 个）
按分类缩小范围
cvat
综合 78
支持图像、视频、音频和 3D 数据集的标注平台，提供 AI 辅助标注及协作管理功能。
X-AnyLabeling
综合 69
轻量高效的跨平台桌面标注工具，支持文本、图像、视频、点云等多模态数据标注。
TRELLIS
综合 67
CVPR'25 Spotlight 论文官方仓库，专注于可扩展、通用的 3D 生成。
apalache
综合 63
Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。
lingbot-map
综合 59
用于流式 3D 重建的几何上下文 Transformer 模型。
riscv-boom
综合 56
〔中文简介暂未生成〕 SonicBOOM: The Berkeley Out-of-Order Machine
magic-animate
综合 45
CVPR 2024 论文 MagicAnimate 官方仓库：基于扩散模型的时序一致人物图像动画生成。