k-framework

K是一个可执行的语义框架,可通过配置、计算和规则来定义编程语言,calculi以及各种表达式分析工具。 \||||||||||||||||||/ --- Welcome to Maude --- /||||||||||||||||||\ Maude 2.4 built: Nov 6 2008 16:42:13 Copyright 1997-2008 SRI International Tue Apr 13 09:40:30 2010 Maude>...

加载中

k-framework - 可执行的语义框架

https://www.oschina.net/p/k-framework

K是一个可执行的语义框架,可通过配置、计算和规则来定义编程语言,calculi以及各种表达式分析工具。 ||||||||||||||||||/ --- Welcome to Maude --- /|||||||||||||||||| Maude 2.4 built: ...

K-Framework 2.0 发布,语义框架

https://www.oschina.net/news/24524

K-Framework 2.0 发布了,该版本简化了服务器端和客户端的 API ,更便于使用和学习。同时提供对 Maven 的支持,完全支持国际化,支持高可用性的服务器端集群,更完善的文档等等。 K是一个可执...

2012/01/03 00:00

K-Framework 1.4.3 发布,语义框架

https://www.oschina.net/news/16285

K是一个可执行的语义框架,可通过配置、计算和规则来定义编程语言,calculi以及各种表达式分析工具。 Changes: 1. 增加了一个完整的示例——树状列表 2. 增加 API 用来设置树形查看器的根节点...

2011/03/14 00:00

abdesign-Antibody humanization framework-Jannis Köckritz API

https://my.oschina.net/u/4017343/blog/4861994

作者邮箱:jannis.koeckritz@helmholtz-muenchen.de 首页:https://github.com/SchubertLab/ABDesign 文档:None 下载链接 ABDesign API The ABDesign API provides functions and data struct...

2020/12/21 00:00

tf.nn.top_k(input, k, name=None)和tf.nn.in_top_k(predictions, targets, k, name=None)

https://my.oschina.net/u/4412687/blog/3742862

tf.nn.top_k(input, k, name=None) 这个函数的作用是返回 input 中每行最大的 k 个数,并且返回它们所在位置的索引。 input: 一个张量,数据类型必须是以下之一:float32、float64、int32、i...

2018/11/21 00:00

K-mean和K-mean++

https://my.oschina.net/u/4255537/blog/3357553

(1)k-mean聚类 k-mean聚类比较容易理解就是一个计算距离,找中心点,计算距离,找中心点反复迭代的过程, 给定样本集D={x1,x2,...,xm},k均值算法针对聚类所得簇划分C={C1,C2,...,Ck}最小化平...

2019/10/31 00:00

K-Means 及 K-Means++

https://my.oschina.net/u/4312735/blog/3615453

原始K-means算法最开始随机选取数据集中K个点作为聚类中心,而K-means++按照如下的思想选取K个聚类中心: 假设已经选取了n个初始聚类中心(0

2019/03/13 00:00

K

https://my.oschina.net/u/4387790/blog/3599963

https://codeforces.com/gym/101982/attachments K 打表暴力 /*#includeusing namespace std; map dmin,dmax; bool legal(int n){ } int main(){ }*/ /*int num[]={1,2,3,4,5,6,7,8,9,12,13,...

2019/03/25 00:00

Top(K

https://my.oschina.net/u/4417917/blog/4656202

经典例题:在10亿个数中找出1000 个最大的。 思路: 首先取出1000个数,建立一个小根堆,然后依次用剩下“10亿 - 1000 个数”与堆顶元素比较,若小于堆顶元素,则忽略,若大于堆顶元素,则将...

2020/09/29 00:00

k

https://my.oschina.net/u/4392473/blog/4881291

RWOFTHNR2G5YHAL1GO0I CeMhUIT3PuUEyVyq9dvpbnHcNjMZU4fiDGK7gmok # hwstaff_s00471898 VM8KPZRDRVF0R0UMEWGW 1aCR0aEdzhMm7M7qI4C3sKMPO1UtgmpDr5sT9Lhp weixiongchang BWX2DDHBABTOV95FO9G...

01/06 00:00

lodsve-framework - lodsve-framework

https://www.oschina.net/p/cosmos-message

lodsve-framework My development tools, it encapsulates some open source projects, and better facilitate the conduct of Java Web development. What is lodsve lodsve is the short o...

机器学习--k均值聚类(K-means)

https://my.oschina.net/u/4585416/blog/4627718

在正式讨论聚类前,我们要先弄清楚一个问题:如何定量计算两个可比较元素间的相异度。用通俗的话说,相异度就是两个东西差别有多大,例如人类与章鱼的相异度明显大于人类与黑猩猩的相异度,这...

2020/04/06 00:00

k近邻法---k近邻算法

https://my.oschina.net/u/3240655/blog/2945194

k近邻算法

2018/11/23 00:00

k近邻法---k近邻模型

https://my.oschina.net/u/3240655/blog/2945198

模型 距离度量 k值的选择 分类决策规则

2018/11/23 00:00

K均值

https://my.oschina.net/u/4370598/blog/3757270

K-means算法的工作流程   首先,随机确定k个初始点的质心;然后将数据集中的每一个点分配到一个簇中,即为每一个点找到距其最近的质心,并将其分配给该质心所对应的簇;该步完成后,每一个...

2018/11/10 00:00

网站被k

https://my.oschina.net/u/4396169/blog/3596443

经常见到很多SEO人员的网站被搜索引擎K了,到处找所谓的SEO大神求助,最后还是无用功,作为优秀的SEO人员我们不能病急乱投医。接下来,我会着重讲解网站被K之后如何快速恢复的办法。 首先来说...

2019/03/27 00:00

What is K-SVD?

https://my.oschina.net/u/4395975/blog/3968173

Given $N$ data samples in $n$ dimensional space, i.e., $Y in R^{ntimes N}$, the task is to compute the dictionary $Din R^{ntimes K}$ and sparse component $Xin R^{Ktimes N}$. Usi...

2018/05/18 00:00

Top K算法

https://my.oschina.net/u/4481655/blog/3209142

Top K算法 问题描述: 从arr[1, n]这n个数中,找出最大的k个数,这就是经典的TopK问题。 栗子: 从arr[1, 12]={5,3,7,1,8,2,9,4,7,2,6,6} 这n=12个数中,找出最大的k=5个。 一、排序 排序是最...

2020/03/23 00:00
返回顶部
顶部