成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
FM
关注
1
FM 2019是正式方法欧洲(FME)组织的系列国际研讨会中的第23次,该协会是一个独立的协会,旨在促进软件开发正式方法的使用和研究。官网链接:
http://formalmethods2019.inesctec.pt/?page_id=565 a>
综合
百科
VIP
热门
动态
论文
精华
Basis Function Encoding of Numerical Features in Factorization Machines for Improved Accuracy
Arxiv
0+阅读 · 2024年12月22日
Initialization Method for Factorization Machine Based on Low-Rank Approximation for Constructing a Corrected Approximate Ising Model
Arxiv
0+阅读 · 2024年12月23日
Deploying Foundation Model Powered Agent Services: A Survey
Arxiv
0+阅读 · 2024年12月18日
Fast and Robust Visuomotor Riemannian Flow Matching Policy
Arxiv
0+阅读 · 2024年12月14日
Bridging Sequence-Structure Alignment in RNA Foundation Models
Arxiv
0+阅读 · 2024年12月13日
On the Workflows and Smells of Leaderboard Operations (LBOps): An Exploratory Study of Foundation Model Leaderboards
Arxiv
0+阅读 · 2024年12月12日
The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap
Arxiv
0+阅读 · 2024年12月9日
Truly SubNyquist Multicomponent Linear FM Signal Decomposition Method
Arxiv
0+阅读 · 2024年12月5日
Novel Magnetic Actuation Strategies for Precise Ferrofluid Marble Manipulation in Magnetic Digital Microfluidics: Position Control and Applications
Arxiv
0+阅读 · 2024年12月3日
TAFM-Net: A Novel Approach to Skin Lesion Segmentation Using Transformer Attention and Focal Modulation
Arxiv
0+阅读 · 2024年11月26日
Application of AI to formal methods -- an analysis of current trends
Arxiv
0+阅读 · 2024年11月22日
Designing Multi-layered Runtime Guardrails for Foundation Model Based Agents: Swiss Cheese Model for AI Safety by Design
Arxiv
0+阅读 · 2024年11月19日
Real-time Adapting Routing (RAR): Improving Efficiency Through Continuous Learning in Software Powered by Layered Foundation Models
Arxiv
0+阅读 · 2024年11月14日
Foundation Models for the Electric Power Grid
Arxiv
0+阅读 · 2024年11月12日
Unraveling the Connections between Flow Matching and Diffusion Probabilistic Models in Training-free Conditional Generation
Arxiv
0+阅读 · 2024年11月12日
参考链接
父主题
软件工程
程序设计语言
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top