[Paper] 从一开始就持续检查 HAL 接口规范
在嵌入式应用中正确使用硬件抽象层(HAL)接口至关重要,以防止故障、崩溃,甚至硬件损坏。S...
3336 posts from this source
在嵌入式应用中正确使用硬件抽象层(HAL)接口至关重要,以防止故障、崩溃,甚至硬件损坏。S...
视频大型语言模型(VLLMs)通过在互联网规模的数据上进行预训练,解锁了具备世界知识感知的视频理解,并已显示出前景……
通过强化学习(RL)为大型语言模型(LLMs)配备搜索引擎已成为构建搜索代理的有效方法。Howe...
等变原子级机器学习模型在外推能力和预测精度方面都带来了显著提升。取决于…的基础,
机器人学习研究面临的一个重要挑战是我们能够准确衡量和比较机器人策略的性能。机器人领域的Benchmarking……
将机器学习(Machine Learning, ML)应用于罕见疾病的诊断,如胶原VI相关营养不良(COL6‑RD),在根本上受到 s 的限制。
受生物学启发,spiking neural networks (SNNs) 通过随时间的离散脉冲处理信息,提供了一种相较于经典方法的节能替代方案。
基于Transformer的语言模型在广泛任务上取得了显著的性能,但其高推理延迟带来了显著的挑战……
Prosody——语言的旋律——传递关键信息,这些信息常常未被词语或文本捕获。在本文中,我们提出了一种信息‑...
如今,大型语言模型(LLMs)是现代软件系统的基础组件。随着它们的影响力日益增长,关于公平性的担忧已经变得日益突出。
Reactive jammers 对 robotic-swarm networks 构成严重的安全威胁,因为它们有选择地破坏 inter-agent communications 并削弱 formation integrity。
在本文中,提出了 Multi-stage Edge Server Upgrade (M-ESU) 作为一种新的网络规划问题,涉及对现有多接入边缘...
虽然注释是源代码的非功能性元素,Large Language Models (LLM) 经常依赖它们来执行 Software Engineering (SE) 任务。然而,...
Mutation analysis 是一种成熟的技术,通过向传统软件开发范式中注入人工故障来评估测试质量。
我们描述了Lockchain Protocol,这是一种轻量级的Bitcoin元协议,能够在零边际区块空间成本下实现高度高效的交易发现,……
Generative art systems 通常涉及高维且复杂的 parameter spaces,其中 aesthetically compelling outputs 仅占据少量、碎片化的区域……
Large Language Models (LLMs) 在各种任务上取得了令人印象深刻的成果,但其高计算需求带来了部署挑战,尤其是 …
在本文中,我们描述了一个致力于在科学工作负载中支持Artificial Intelligence的联邦计算平台。将工作投入到可重复性…
在潜在狄利克雷分配(LDA)中选择主题数 T 是一个关键的设计决策,它会强烈影响统计拟合度和可解释性……
神经网络如何在不依赖外部优化器的情况下自行进化?我们提出了 Self-Referential Graph HyperNetworks,这类系统中机器本身……
在长上下文 LLM 推理过程中,Attention 是导致延迟的主要因素,这在使用推理模型和 RAG 的日益流行的工作负载中尤为突出。我们提出了 Kascad……
背景:编译器是软件开发的基础,将高级源代码翻译为可执行软件系统。编译器中的缺陷可能会…
大型语言模型正日益被部署为代码生成流水线中的评审(LaaJ)。虽然在可扩展性方面具有吸引力,但LaaJ往往忽视领域的…
脉冲神经元,作为脉冲神经网络(SNNs)的基本信息处理单元,具有全或零的信息输出形式,使得SNNs能够……
基于排序的零阶(ZO)优化——仅依赖函数评估的排序——在噪声和单调变换下表现出强大的鲁棒性……
Disaggregated memory (DM) 是一种有前景的数据中心架构,它将 CPU 和内存解耦为独立的资源池,以提升资源利用率……
Apache Kafka 已成为高吞吐量事件流的基础平台,使实时分析、金融交易处理、工业等成为可能……
分离式内存(Disaggregated memory,DM)将计算和内存资源分离,允许灵活扩展以实现高资源利用率。为了确保原子性和一致性……
大型语言模型(LLM)服务向复杂、分布式架构的演进——特别是 P/D 分离的大规模 DP+EP 范式——intr...
现代软件系统的性能在很大程度上依赖于其复杂的配置选项。构建准确的性能模型以在此环境中进行导航……
随着越来越多的software systems达到前所未有的规模,仅仅依赖code-level abstractions已变得不切实际。虽然architectural …
Symbolic regression(SR)已成为一种强大的方法,用于从数据中发现可解释的数学关系,提供了一条通往科学…
现有的视频生成模型由于视频信号的密集和高维特性,在保持长期的空间和时间一致性方面面临困难。为了……
在最基本的层面上,像素是我们感知世界的视觉信息来源。像素在所有层面上都包含信息,范围……
在最近的多模态研究中,diffusion paradigm 已经崭露头角,成为 autoregressive paradigm (AR) 的一种有前景的替代方案,因为它独特的解码……
解释神经网络的内部激活可以提供更忠实的行为解释,但由于其复杂结构,这一过程十分困难……
我们提出了 Gaussian Pixel Codec Avatars(GPiCA),一种可以从多视角图像生成并在移动设备上高效渲染的逼真头部化身。
本文提出了一种双引擎 AI 架构方法,旨在解决探索艺术演化潜在轨迹的复杂问题。W...
Foundation模型是各种Computer Vision应用中的重要工具。它们以单张RGB图像为输入,输出一个深层特征表示,...
Active Speaker Detection(ASD)旨在识别视频中每一帧当前正在说话的人。大多数最先进的方法依赖于late fusion来组合……
在相互作用的生物体数学模型中,外部干预可能随时间改变行为,传统模型假设固定参数……
Early-Exit(EE)是一种 Large Language Model(LLM)架构,通过仅使用模型的子集来生成更容易的 token,从而加速推理。
自回归视频扩散模型在世界模拟方面具有潜力,但容易受到由训练-测试不匹配导致的曝光偏差的影响。虽然最近的...
包含人类偏好的图像压缩性能评估普遍发现,诸如 MSE 之类的朴素失真函数不足以……
我们介绍 FrontierCS,这是一个包含 156 个开放式问题的基准,覆盖计算机科学的多个领域,由专家设计和审阅,包括计算机科学博士等。
AI驱动的视频生成技术的滥用已经引发了严重的社会担忧,凸显出对可靠的AI生成视频检测器的迫切需求……
当前用于机器人操作的 Vision-Language-Action Models (VLAs) 基于在大规模但相互独立的视觉-语言骨干网络上进行预训练。
语义通信旨在传输与任务最相关的信息,而非原始数据,从而在应用中实现显著的通信效率提升。