•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9971-9980项 搜索用时 104 毫秒
[首页] « 上一页 [990] [991] [992] [993] [994] [995] [996] [997] 998 [999] [1000] 下一页 » 末  页»
9971.
本文提出一种交互式的程序(半)自动综合方法:使用显式策略引导系统进行程序构造。这些策略包括程序员提供的问题求解策略和系统内部的标准策略,如数学归纳法、归结方法和程序变换规则/策略。策略都用高阶函数式元语言TSL/ML统一地描述,它们的施用则通过高阶一致化完成。因此,我们的程序综合… …   相似文献
9972.
下载全文  总被引:1,自引:1,他引:0
研究了根据点、线混合特征进行单目视觉定位问题,在给定物体坐标系中共面的两个特征点和一条特征直线的条件下,根据它们在像平面上的对应计算相机与物体之间的位姿参数。根据三个特征之间的几何位置关系,分两种情况给出问题求解的具体过程,最终将问题转换成求解一个二次方程问题,真实的工件定位实验… …   相似文献
9973.
  
不平衡数据的分类问题在多个应用领域中普遍存在,已成为数据挖掘和机器学习领域的研究热点。提出了一种新的不平衡数据分类方法RSBoost,以解决传统分类方法对于少数类识别率不高和分类效率低的问题。该方法采用SMOTE方法对少数类进行过采样处理,然后对整个数据集进行随机欠采样处理,以改… …   相似文献
李克文  杨磊  刘文英  刘璐  刘洪太 《计算机科学》2015,42(9):249-252, 267
9974.
  
指针别名分析是数据流分析中的关键性技术,其分析结果是编译优化和程序变换的基础.在向量化方法和动态指针别名分析相关研究的基础上,设计了一种面向向量化的动态指针别名分析框架.该框架通过动态插桩和试运行提取指针别名信息,并反馈到向量化阶段指导向量化代码生成.从提取候选别名分析集、插桩及… …   相似文献
9975.
FOREST是一个立足于无约束通孔优化的新的布线算法,它从总体上将布线过程分为拓扑布线和物理布线两部分,并把两者视为相互联系的整体。作为一种启发式算法,它试图综合考虑布通率、布线空间、通孔数和连线总长等因素,算法打破横竖严格分层的限制,并允许不同层线段重叠,FOREST算法适用于… …   相似文献
9976.
提出一种多尺度方向(multi-scale orientation,简称MSO)特征描述子用于静态图片中的人体目标检测.MSO特征由随机采样的图像方块组成,包含了粗特征集合与精特征集合.其中,粗特征是图像块的方向,而精特征由Gabor小波幅值响应竞争获得.对于两种特征,分别采用贪… …   相似文献
叶齐祥  焦建彬  蒋树强 《软件学报》2011,22(12):3004-3014
9977.
下载全文  总被引:2,自引:0,他引:2
研究关于N个位置的最优搜索问题.最优搜索问题是研究如何将用于搜索的资源(如时间等)分配到N个位置使得发现目标的概率为最大.以往人们在研究最优搜索问题时总是假设目标的分布函数是已知的,但实际情况往往不是这样.用拉格朗日算子理论来研究目标的分布函数是未知的情况下的最优搜索问题,得出了… …   相似文献
朱清新  周明天  John Oommen 《软件学报》2001,12(12):1748-1751
9978.
在电子商务网站中,Web使用挖掘可以通过分析WEB日志等数据源来获取与用户访问模式相关的信息.本文形式化描述和分析了一个WEB使用模式算法,并给出了应用的设计思路.该算法简单、有效、易于实现,适合于构建低成本B2C网站.  相似文献
9979.
下载全文  总被引:1,自引:0,他引:1
关联规则和聚类分析是数据挖掘中重要的研究课题。通过对关联规则挖掘算法Apriori算法进行分析与研究,指出了其在实用中存在的两个主要问题。鉴于此,在分析聚类分析和关联规则两种挖掘算法的基础上,讨论了将这两种独立的挖掘方法集成起来的联合挖掘,使其可以有效地压缩数据规模。给出了聚类后… …   相似文献
9980.
为了有效提取视频监控场景中的前景目标信息并准确跟踪目标的状态,提出一种基于混合高斯模型和Rao-Blackwellized蒙特卡洛数据关联的视频多目标跟踪方法。该方法根据场景中像素点的特征信息,利用混合高斯模型进行建模,并对前景目标进行检测,使用Rao-Blackwellized… …   相似文献
[首页] « 上一页 [990] [991] [992] [993] [994] [995] [996] [997] 998 [999] [1000] 下一页 » 末  页»