搜索结果: 76-90 共查到“知识库 计算机软件”相关记录5795条 . 查询时间(4.034 秒)
由于脊椎生理结构的精准坐标描述和准确匹配尚未达到医学精度的要求，本文对如何精确描述脊柱腰骶段特征点的物理坐标进行研究。介绍了人体脊椎采样特征点的定义和传统标记方法。针对手动标注特征点精确度不够，易产生较大误差等问题提出了一种基于曲率多特征融合的自适应标注特征点的方法。该方法首先找出某个特征点的高斯曲率和平均曲率流的定义值，得到该特征点的法曲率相对极大值，并计算在指定极小半径r范围内的所有模型点的法...
基于蚁群算法的多连接查询优化问题研究
蚁群算法 多连接查询优化 数据库查询 最优解
2016/11/22
介绍了蚁群算法在数据库查询中的应用，在给出蚁群算法的基本原理和程序流程的基础上，对传统蚁群算法进行了改进，将伪随机状态转移规则和局部信息素更新规则引入蚁群算法，提出了基于蚁群系统解决数据库多连接查询优化的方法，建立了多连接查询优化问题的数学模型，并进行了相关的实验；结果表明：当数据库的表数目较多时，基于蚁群系统算法对解决多连接查询优化问题有良好的求解性能，在求最优解品质和求最优解时间上都有较好的效...
FL is the result of an eort to design a practical functional programming language based on Backus FP This paper provides an introduction to and critique of the FL language The language eort is analy...
Tracking Down Exceptions in Standard ML Programs
Tracking Down Exceptions Standard ML Programs
2016/5/25
We describe our experiences with an exception analysis tool for Standard ML. Information about exceptions gathered by the analysis is visualized using pam,a program visualization tool for emacs. We st...
Building a Better Backtrace: Techniques for Postmortem Program Analysis
Building Better Backtrace Techniques Postmortem Program Analysis
2016/5/25
After a program has crashed, it can be difficult to reconstruct why the failure occurred, or what actions led to the error. We propose a family of analysis techniques that use the evidence left behind...
Cool: A Portable Project for Teaching Compiler Construction
Cool Portable Project Teaching Compiler Construction
2016/5/25
The compiler course is a xture of undergraduate computer science education. Most CS programs o er a course on compilers that includes a substantial pro ject where students write a compiler for a smal...
A Development Environment for Horizontal Microcode
Development Environment Horizontal Microcode
2016/5/25
A Development Environment for Horizontal Microcode.
A laudable trend of the past two decades has been the increased use of denotational semantics to guide the design and implementation of programming languages.Semantics-driven language design has produ...
Better Static Memory Management: Improvements to Region-Based Analysis of Higher-Order Languages.
Memory Management Region-Based Analysis Higher-Order Languages.
2016/5/24
Static memory management replaces runtime garbage collection with compile-time annotations that make all memory allocation and deallocation explicit in a program. We improve upon the Tofte/Talpin regi...
This paper reports on user experience with Tioga, a DBMScentric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct manipulation system that is mor...
Tioga-2: A Direct Manipulation Database Visualization Environment.
Tioga-2 Direct Manipulation Database Visualization Environment.
2016/5/24
This paper reports on user experience with Tioga, a DBMS-centric visualization tool developed at Berkeley. Based on this experience, we have designed Tioga-2 as a direct manipulation system that is mo...
Constraint-based program analyses are appealing because elaborate analyses can be described with a concise and simple set of constraint generation rules. Constraint resolution algorithms have been dev...
Program Analysis Using Mixed Term and Set Constraints
Program Analysis Mixed Term Set Constraints
2016/5/24
There is a tension in program analysis between precision and eciency. In constraint-based program analysis, at one extreme methods based on uni cation of equality constraints over terms are very fast...
Titanium is a language and system for high-performance parallel scientific computing. Titanium uses Java as its base, thereby leveraging the advantages of that language and allowing us to focus attent...
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Constructing Type Constraint-Based Program Analyses
2016/5/24
BANE (the Berkeley Analysis Engine) is a publicly available toolkit for constructing type- and constraint-based program analyses.1 We describe the goals of the pro ject, the rationale for BANE's overa...