您的位置： 专家智库 > >

孙欢

作品数：7 被引量：6H指数：1
供职机构：浙江大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 6篇专利
  • 1篇学位论文

领域

  • 3篇自动化与计算...

主题

  • 3篇众包
  • 2篇迭代
  • 2篇定理证明
  • 2篇定理证明器
  • 2篇定制
  • 2篇用户
  • 2篇用户定制
  • 2篇语义
  • 2篇视频
  • 2篇图像
  • 2篇图形绘制
  • 2篇文本
  • 2篇内存
  • 2篇内存管理
  • 2篇内存管理机制
  • 2篇内存管理系统
  • 2篇框架语义
  • 2篇本体
  • 2篇本体库
  • 2篇SPARQL

机构

  • 7篇浙江大学

作者

  • 7篇孙欢
  • 4篇李亚南
  • 4篇王东辉
  • 4篇庄越挺
  • 4篇梁建增
  • 4篇徐灿
  • 4篇黄鹏程
  • 2篇王文海

年份

  • 1篇2024
  • 1篇2022
  • 2篇2017
  • 3篇2015
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
一种基于本体库内容的SPARQL查询语句生成系统
本发明公开了一种基于本体库内容的SPARQL查询语句生成系统，其基于d3.js的可视化技术以及对本体库的URI进行索引检索的思想，通过用户在前台使用系统提供的图形绘制部件构建出查询图，并对每一个部件赋予自然语言的标签，由...
王东辉熊逵李亚南蔺越檀孙欢黄鹏程洪高峰徐灿梁建增庄越挺
文献传递
一种基于任务难度与标注者能力的众包标注数据整合方法
本发明公开了一种基于任务难度与标注者能力的众包标注数据整合方法，其根据以下两种现象：(1)能力较高的标注者对大多数任务的标注结果与其他的标注者相同；(2)难度越低的任务，标注者们对它的标注结果的一致度越高；提出了新的任务...
王东辉孙欢李亚南蔺越檀熊逵黄鹏程洪高峰徐灿梁建增庄越挺
基于依赖保证机制的操作系统内存管理机制验证方法
本发明公开了一种基于依赖保证机制的操作系统内存管理机制验证方法。该方法将操作系统建模为一个并发事件模型，并利用并行程序验证框架提供的程序语义和记号建模内存申请和释放函数。设计内存安全并将其转化为程序验证框架语义下的安全规...
王竟亦孙欢王文海刘艾明
基于依赖保证机制的操作系统内存管理机制验证方法
本发明公开了一种基于依赖保证机制的操作系统内存管理机制验证方法。该方法将操作系统建模为一个并发事件模型，并利用并行程序验证框架提供的程序语义和记号建模内存申请和释放函数。设计内存安全并将其转化为程序验证框架语义下的安全规...
王竟亦孙欢王文海刘艾明
众包标注的学习算法研究
随着计算机技术和互联网技术的飞速发展，当今社会进入了大数据时代。为了提高机器学习和数据挖掘等技术对数据的处理能力，需要快速对海量数据进行高质量的标注，以实现对相关算法模型的训练和应用。众包标注是利用众包技术对数据进行标注...
孙欢
关键词：数据处理学习算法
文献传递
一种基于任务难度与标注者能力的众包标注数据整合方法
本发明公开了一种基于任务难度与标注者能力的众包标注数据整合方法，其根据以下两种现象：(1)能力较高的标注者对大多数任务的标注结果与其他的标注者相同；(2)难度越低的任务，标注者们对它的标注结果的一致度越高；提出了新的任务...
王东辉孙欢李亚南蔺越檀熊逵黄鹏程洪高峰徐灿梁建增庄越挺
文献传递
一种基于本体库内容的SPARQL查询语句生成系统
本发明公开了一种基于本体库内容的SPARQL查询语句生成系统，其基于d3.js的可视化技术以及对本体库的URI进行索引检索的思想，通过用户在前台使用系统提供的图形绘制部件构建出查询图，并对每一个部件赋予自然语言的标签，由...
王东辉熊逵李亚南蔺越檀孙欢黄鹏程洪高峰徐灿梁建增庄越挺
全选 清除 导出
共1页<1>
聚类工具0