[Paper] 通过复杂事件处理执行离散/连续声明式过程规范
传统业务流程管理(BPM)侧重于离散事件,未能在网络物理环境中整合关键的连续传感器数据。
4797 posts from this source
传统业务流程管理(BPM)侧重于离散事件,未能在网络物理环境中整合关键的连续传感器数据。
Dynamic data race detectors 对于标记软件中的并发错误是不可或缺的,但它们的高运行时开销限制了它们的采用。这个开销 …
代码所有权是确保大型软件开发中问责制和保持质量的核心。然而,随着外部威胁如软件供应链攻击的出现……
边缘服务器的布局是为车联网(Internet of Vehicles,IoV)提供边缘计算服务的前提条件。固定地点的边缘服务器部署在路侧单元(Road Side Units)...
人工智能(AI)的快速崛起正在重塑软件工程(SE),创造新的机遇,同时带来以人为中心的挑战。
本研究评估了在多个 GPU 平台上,对粒子模拟代码的低精度数据布局进行 AoS 到 SoA 转换的效果:我们假设……
脉冲神经网络(SNN)被认为天然适合时间处理,膜电位传播被广泛视为核心的时间……
本文介绍了 Model Gateway,这是一款用于在药物发现流程中管理机器学习(ML)和科学计算模型的管理平台。
比特币挖矿硬件采购需要在市场波动、技术快速淘汰以及协议驱动的收益周期等因素下进行战略性时机选择。Des...
联邦学习(FL)在分布式机器学习方面具有强大的潜力,但在异构环境中,带宽受限的客户端(BCCs)常常…
二阶优化方法利用曲率信息,相较于一阶方法(如随机梯度下降),能够实现更快且更稳定的收敛。
在本工作中,我们提出了一种新颖的节能脉冲神经网络(SNN)基接收机,用于5G‑NR OFDM系统,称为神经形态接收机(NeuromorphicR…)。
基于 Actor 的系统,如 Erlang/OTP,为关键基础设施提供动力——从电信到消息平台——处理数百万并发连接……
我们展示了在不同任务上训练的深度神经网络表现出惊人相似的低维参数子空间。我们提供了首次大规模……
最近在光照控制方面的进展将基于图像的方法扩展到视频,但仍面临光照保真度与时间一致性之间的权衡。Mo...
虽然已有方法可以将 flow matching models——一种流行且有效的 generative models——与 human preferences 对齐,但现有方法未能……
磁共振成像(MRI)的分割通过划分解剖结构,促进对人类大脑发育的分析。然而,在婴儿和...
最近的统一多模态大语言模型(MLLMs)展示了令人印象深刻的能力,结合了链式思考(CoT)推理,以增强文本到-...
从单目Mannequin‑Challenge(MC)视频合成高保真冻结的3D场景是一个独特的问题,与标准的动态场景重建不同……
奖励模型对于使视觉语言系统与人类偏好保持一致至关重要,但当前的方法存在幻觉、视觉定位薄弱等问题,……
我们介绍了 ShadowDraw,一个将普通 3D 对象转化为阴影绘画构图艺术的框架。给定一个 3D 对象,我们的系统预测场景参数……
标准扩散通过高斯噪声对数据进行破坏,其傅里叶系数具有随机幅度和随机相位。虽然在无条件或……
在大型语言模型(LLMs)中,长上下文推理已通过链式思考(CoT)推断展示了其认知能力的提升。训练...
All-in-One Image Restoration (AiOIR) 任务通常涉及多样的退化,需要稳健且多功能的策略。然而,大多数现有方法 typ...
视频生成模型正在快速发展,但在需要大量语义分支或重复高…的复杂视频输出方面仍可能面临困难。
最近关于结构化文本翻译的研究仍局限于句子层面,因为它们难以有效处理复杂的文档级 XML 或 HTML …
近年来,针对 AI 生成图像(AIGI)的图像质量评估(IQA)发展迅速;然而,现有方法主要针对肖像和 ar...
尽管扩散模型如今在生成建模中占据核心位置,入门教材通常假设欧几里得数据,并且很少阐明它们的…
现实世界的物理过程并不会产生任意的变异性:它们的信号集中在紧凑且低变异性的 functional space 子集上。这个……
大语言模型(LLM)推理需要巨大的计算和能源,使得特定领域的任务成本高昂且不可持续。随着基础模型的规模不断扩大……
随着医疗保健日益转向 AI,以实现可扩展且可信赖的临床决策支持,确保模型推理的可靠性仍然是一个关键挑战。
Kubernetes 是一种帮助快速部署软件的工具。不幸的是,配置 Kubernetes 容易出错。配置缺陷并不少见。
量子近似优化算法(QAOA)是解决近端量子处理器上组合优化问题的领先方法。如何……
现代大型语言模型通过长链式思考实现了令人印象深刻的推理能力,但它们在推理期间会产生巨大的计算成本。
Spiking neural networks 提供事件驱动计算、稀疏激活和硬件效率,但训练往往收敛缓慢且缺乏稳定性。We ...
本扩展摘要介绍了自解释对比证据重新排序(Self-Explaining Contrastive Evidence Re-Ranking,简称 CER),这是一种通过事实证据重新构建检索的新方法,by f...
在表达式搜索空间中的神经架构搜索(NAS)是一个计算上非常困难的问题,但它也具有自动发现完整……的潜力。
大型语言模型(LLMs)从被动响应者向自主代理的演进,需要在学习范式上进行根本性转变——从静态……
太赫兹(THz)通信与联邦学习(FL)的融合有望实现超高速分布式学习,但现实宽带的影响……
大型语言模型(LLMs)在各种语言相关任务中展现出显著的潜力,但它们是否捕获了更深层的语言属性,……
能够通过与环境的多次交互完成复杂任务的智能体已成为一个热门的研究方向。然而,在这种 ...
大型语言模型(LLMs)已被证明在解决复杂推理任务方面非常有效。令人惊讶的是,它们的能力往往可以通过 i...
本文提出了一种创新的方法,通过在单个神经元层面的硬件冗余来确保神经网络的功能稳定性。不同于……
现代软件生态系统的规模、复杂性、互联性和自主性的不断增长带来了前所未有的不确定性,挑战了……的基础。
自适应系统(SAS)旨在通过包含四个核心功能的反馈回路来处理变化和不确定性:监控、分析、规划和执行。
大型语言模型(LLMs)已经彻底改变了通用自然语言处理以及代码合成、法律推理等领域特定的应用。
Proof-of-Vulnerability (PoV) 输入生成是软件安全中的关键任务,并支持下游应用,如路径生成和验证……
作为从函数级别到仓库级别的 code completion 任务,利用大规模 codebases 中的 contextual information 成为一个核心挑战。然而,...