Invariant

HashSet序列化问题

转自：http://www.examda.com/JAVA/Instructs/060617/090719996.html这个程序创建了一个对象并且检查它是否遵从某个类的不变规则(invariant)。
FG2006·2011-05-10 14:00

Mahalanobis Distance (马氏距离)

与欧式距离不同的是马氏距离考虑到各种特性之间的联系（例如：一条关于身高的信息会带来一条关于体重的信息，因为两者是有关联的），并且是尺度无关的(scale-invariant)，即独立于测量尺度。 
lovelyloulou·2011-04-21 21:00

sift算法学习

SIFT: Scale Invariant Feature Transform(尺度不变特征转换)先介绍第一部分：在不同图片之间进行特征匹配是计算机图形学中一个常见的问题。
superjimmy·2011-02-21 00:00

循环不变量(Loop invariant)

循环不变量：S是一个语句，已知循环whileCdoE当此循环满足以下条件,即：在任何循环开始前，语句S和C都为真，而且在循环结束后，S仍为真，那么S就是循环不变量循环不变量定理：已知一个循环和循环条件的guardconditionG。命I(n)为循环不变式。如果下面四个条件为真，那么此循环是正确的1）Basicproperty:thepre-conditionimpliseI(0)2）Induct
dazhi316·2010-11-12 09:00

Mahalanobis Distance (马氏距离)

与欧式距离不同的是它考虑到各种特性之间的联系（例如：一条关于身高的信息会带来一条关于体重的信息，因为两者是有关联的），并且是尺度无关的(scale-invariant)，即独立于测量尺度。  
andkobe·2010-07-29 10:00

马氏距离和欧氏距离的介绍

与欧式距离不同的是它考虑到各种特性之间的联系（例如：一条关于身高的信息会带来一条关于体重的信息，因为两者是有关联的），并且是尺度无关的(scale-invariant)，即独
Tangyongkang·2010-02-22 11:00

DotNet关键知识点——WPF篇（八）

中间(Neutral)、特定(Specific)和无关性(Invariant)文化例如de-AT，de标志德语系中间文化，de-AT标识奥地利地区，则标志具体的特定文化。
quanben·2009-12-05 20:00

sift学习备注4 ，特征检测，wikipedia中的文章，对sift，surf等都有解释，

特征检测wiki http://en.wikipedia.org/wiki/Scale-invariant_feature_transform慢慢看。
txdb·2009-11-02 13:00

契约式设计Design by Contract

契约式设计的主要断言包括先验条件(precondition)、后验条件(postcondition)以及不变式(invariant)：●先验条件针对方法(method)1，它规定了在调用该方法之前必须为真的条件
·2009-09-03 23:00

D2.0的字符串

使用静态语言你就要严格定义.D2就更严格了:对字符串也进行严格的定义.1.变量D1.0的字符串都是变量.也就是mutable的.D2中仅仅char[]是变量,可以运用下标进行访问每个char的变量.2.不变量是invariant
ideage·2009-04-07 08:00

Design by Contract

DBC最大的特点就是：通过（内建的或附加的）语言特性强制程序的前条件（pre- condition）、后条件（post-condition）、不变式（invariant）
rossbu·2008-10-07 10:00

D 2.0 Const/Final/Invariant 概念简介

原文： http://oldrev.iteye.com/blog/105074 关键字: D2.0 D const final invariant constness D 2.0 Const/
hqs7636·2008-06-08 17:00

D 2.0 Const/Final/Invariant 概念简介

原文： http://oldrev.iteye.com/blog/105074 关键字: D2.0 D const final invariant constness D 2.0 Const/
hqs7636·2008-06-08 17:00

常量和不变量 Const and Invariant 2.014

请参考： D 2.0 Const/Final/Invariant 概念简介 http://dolive.iteye.com/admin/blogs/201374 这一篇1.028里没有
hqs7636·2008-06-07 11:00

常量和不变量 Const and Invariant 2.014

请参考： D 2.0 Const/Final/Invariant 概念简介 http://dolive.iteye.com/admin/blogs/201374 这一篇1.028里没有
hqs7636·2008-06-07 11:00

关于binary search

作者着重强调的是对程序正确性的分析方法，仔细分析方法的 pre-condition, invariant,和post-condit
dennis_zane·2008-04-02 10:00

关于binary search

作者着重强调的是对程序正确性的分析方法，仔细分析方法的pre-condition,invariant,和post-condition。g9老大翻译过JoshuaBloch
庄周梦蝶·2008-04-02 10:00

D 2.0 Const/Final/Invariant 概念简介

阅读更多D2.0Const/Final/Invariant概念简介D2.0specs里的相关文档可读性不佳，因此我总结了一个简单的const/final/invariant概念简介，更详细的用法还请参考
oldrev·2007-07-24 22:00

D 2.0 Const/Final/Invariant 概念简介

D 2.0 Const/Final/Invariant 概念简介     D 2.0 specs 里的相关文档可读性不佳，因此我总结了一个简单的 const/final
oldrev·2007-07-24 22:00

契约设计的一些想法

契约设计由来已久，各语言的支持方式与级别不尽相同， 契约元素包括： 前验条件(precondition) 后验条件(postcondition) 不变式(invariant) 这里只考虑前验条件的
javatar·2007-06-14 11:00

契约设计的一些想法

契约设计由来已久，各语言的支持方式与级别不尽相同， 契约元素包括： 前验条件(precondition) 后验条件(postcondition) 不变式(invariant) 这里只考虑前验条件的
javatar·2007-06-14 11:00

Rotor实现中用到的Macro（摘自Shared Source CLI Essentials）

General Macros _ASSERTE Defined in clr/src/inc/debugmacros.h, this is used to verify that an invariant
lovnet·2007-03-16 22:00

非常有效的宏定义，可以减少代码量

x,#x} structline{ unsignedshortid; char*name; }; lineprimary[]={ CBL(LANG_NEUTRAL), CBL(LANG_INVARIANT
1CM·2007-03-13 10:00

[摘自DbC原则与实践]DbC的一些优点和限制

如果不希望因检测这些断言而使程序运行变慢，则可以打开或关闭契约检查，比如只在某些类中启用契约检测，而在其他的类禁用契约检查；或只检测先验条件(require)，而不是包括先验条件、后验条件(ensure)和不变式(invariant
happyhippy·2006-12-17 23:00
上一页 2 3 4 5 6 7 8 9 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他