快速导航

谓词

相关内容

深圳马可孛罗科技申请基于分离公理模式规避罗素悖论方法专利，提升分类系统逻辑一致性

网易号
金融界 2026-01-31

沄熹科技申请数据库查询中多谓词顺序优化方法专利，提升数据库查询响应速度

网易号
金融界 2026-01-29

脸萌申请基于共享存储装置的CPU利用率的谓词评估专利，禁止评估谓词的至少一部分

网易号
金融界 2026-01-16

国铁集团申请面向铁路设计规范文本数字化结构化表达方法专利，使逻辑表达式人工易读易转换为计算机可读

网易号
金融界 2026-01-07

星凡星启申请基于答案集编程与语言模型的任务推理方法专利，实现问答任务的更准确推理

网易号
金融界 2026-01-03

中科国创申请面向程序验证中谓词的辅助定理生成及验证方法专利，提高验证工具的适用性

网易号
金融界 2025-12-27

关系的类型：用范畴论定义类比

网易号
CreateAMind 2025-10-13

结构相似性：使用范畴论形式化类比

网易号
CreateAMind 2025-10-12

天翼云申请索引提示语生成相关专利 提高分布式数据库系统索引有效性

网易号
金融界 2025-05-23

概念、连接主义与思维语言

网易号
CreateAMind 2025-04-11

中电科金仓申请数据库操作语句的基数估算方法专利，提升查询效率

网易号
金融界 2025-04-10

浪潮通软取得一种谓词表达式树的解析方法、设备及介质专利

网易号
金融界 2025-02-26

思维语言假说 The language of thought hypothesis [HTML]

网易号
CreateAMind 2025-02-18

SAP 欧洲公司申请具有集成半连接筛选器的表扫描谓词专利，提高表扫描查询性能

网易号
金融界 2025-01-18

如何设计一套智能的符号与形式化系统

网易号
白驹谈人机 2024-11-17

中电科金仓申请一种查询优化方法专利，提高查询语句的执行效率

网易号
金融界 2024-10-09

ULLER：神经符号AI，学习和推理的统一语言

网易号
CreateAMind 2024-09-12

摒弃人工标注，AutoAlign方法基于大模型让知识图谱对齐全自动化

网易号
机器之心Pro 2024-07-26

电投能源申请基于人工智能的作业流程拆解方法专利，提高了作业流程的拆解质量和泛化能力

网易号
金融界 2024-07-12
没有更多内容了
热点新闻
© 1997-2026 网易公司版权所有 About NetEase | 公司简介 | 联系方法 | 招聘信息 | 客户服务 | 隐私政策 | 不良信息举报 Complaint Center | 廉正举报 | 侵权投诉
无障碍浏览 进入关怀版