徐晓刚

作品数：7被引量：52H指数：4
导出分析报告
供职机构：南京大学计算机科学与技术系计算机软件新技术国家重点实验室更多>>
发文主题：草图识别人机交互软件代码中程序CAD更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机辅助设计与图形学学报》《计算机工程》《Journal of Southeast University(English Edition)》《武汉大学学报（信息科学版）》更多>>
所获基金：国家自然科学基金中国博士后科学基金国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
可信软件代码中程序标注的使用及类型验证
《武汉大学学报（信息科学版）》2010年第5期570-573,共4页赵洋 徐晓刚 张功萱 张容 
国家自然科学基金资助项目(60850002);高等学校博士学科点专项科研基金资助项目(20093219120026);南京理工大学科技发展基金资助项目(XKF09017)
程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁,从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性。
关键词：可信代码 程序标注 程序验证 
草图理解技术研究进展被引量：14
《计算机科学》2004年第4期140-146,共7页周若鸿 孙正兴 张莉莎 徐晓刚 
国家自然科学基金(编号:69903006;60373065)
本文概述了草图理解技术(包括草图识别和语义理解)的现状。首先,草图识别包括预处理和图形识别,根据各种图形处理机制,介绍了四种图形识别方法:基于笔划的、基于图元的、基于几何特征的、基于组合图形的。其次,深入分析了几个语义理解方...
关键词：草图理解 草图识别 图形识别 图形处理 计算机动画 
一种基于图匹配的复杂草图识别方法被引量：5
《计算机科学》2004年第4期147-150,共4页张莉莎 孙正兴 周若鸿 徐晓刚 
国家自然科学基金(编号:69903006;60373065)
复杂草图识别是手绘草图输入中的一个困难任务。现存的草图识别方法强调的是图形对象简单,但这不适合具有不同复杂性的复杂草图的识别。本文对具有不同复杂性的复杂图形对象提出一个基于图形的统一表示法,文中根据不同信息粒度将复杂图...
关键词：草图识别 图匹配 图形识别 匹配算法 计算机 
一个基于语义的图像检索系统:VisEngine被引量：2
《计算机工程》2004年第4期51-52,55,共3页徐晓刚 彭彬彬 孙正兴 
国家自然科学基金资助项目(69903006)
介绍了一个基于语义的图像检索系统——VisEngine，该系统采用基于图像主要区域的图像分割方法，分别提取图像前景、背景和全局的视觉和抽象语义内容，构造相应的语义模板。接着把这些特征导入到一个面向对象的中间信息结构中，在此基...
关键词：基于内容的图像检索 语义图像检索 语义模块 
支持方案设计的手绘图形输入工具被引量：34
《计算机辅助设计与图形学学报》2003年第9期1145-1152,1159,共9页孙正兴 徐晓刚 孙建勇 金翔宇 
国家自然科学基金 ( 6990 3 0 0 6)资助
手绘图形输入是表达设计意图 ,实现抽象概念与具体图形间相互转换的自然而有效手段之一 提出并初步实现了一个面向方案设计、采用在线图形识别方法和相似性相关反馈技术的手绘图形输入工具 在线图形识别方法将用户输入的笔画经过图形...
关键词：CAD 概念设计 手绘图形输入工具 方案设计 图形识别 
Matching spatial relation graphs using a constrained partial permutation strategy
《Journal of Southeast University(English Edition)》2003年第3期236-239,共4页徐晓刚 孙正兴 刘文印 
TheNationalNaturalScienceFoundationofChina(6990 3 0 0 6)andgrantfromtheResearchGrantsCounciloftheHongKongSpecialAdministrativeRegion,China (CityU 10 73 0 2E)
A constrained partial permutation strategy is proposed for matching spatial relation graph (SRG), which is used in our sketch input and recognition system Smart Sketchpad for representing the spatial relationship amon...
关键词：spatial relation graph graph matching constrained partial permutation graphics recognition 
基于SVM增量学习的用户适应性研究被引量：5
《计算机科学》2003年第3期75-79,共5页彭彬彬 金翔宇 徐晓刚 孙正兴 
国家自然科学基金(编号:69903006)
User adaptation is a critical and important problem. For users' specialization, such as Handwriting, Voice,Drawing Styles, the system is hard to adapt to all users. SVM-based incremental learning can find the most bas...
关键词：SVM 增量学习 用户适应性 图形识别 人机交互 支持向量机 机器学习 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部