k-framework - 可执行的语义框架
K是一个可执行的语义框架，可通过配置、计算和规则来定义编程语言，calculi以及各种表达式分析工具。 ||||||||||||||||||/ --- Welcome to Maude --- /|||||||||||||||||| Maude 2.4 built: ...
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 2.0 发布，语义框架
K-Framework 2.0 发布了，该版本简化了服务器端和客户端的 API ，更便于使用和学习。同时提供对 Maven 的支持，完全支持国际化，支持高可用性的服务器端集群，更完善的文档等等。 K是一个可执...
2012/01/03 00:00
K-Framework 1.4.3 发布，语义框架
K是一个可执行的语义框架，可通过配置、计算和规则来定义编程语言，calculi以及各种表达式分析工具。 Changes: 1. 增加了一个完整的示例——树状列表 2. 增加 API 用来设置树形查看器的根节点...
2011/03/14 00:00
abdesign-Antibody humanization framework-Jannis Köckritz API
作者邮箱: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)
tf.nn.top_k(input, k, name=None) 这个函数的作用是返回 input 中每行最大的 k 个数，并且返回它们所在位置的索引。 input: 一个张量，数据类型必须是以下之一：float32、float64、int32、i...
2018/11/21 00:00
K-mean和K-mean++
(1)k-mean聚类 k-mean聚类比较容易理解就是一个计算距离，找中心点，计算距离，找中心点反复迭代的过程， 给定样本集D={x1,x2,...,xm},k均值算法针对聚类所得簇划分C={C1,C2,...,Ck}最小化平...
2019/10/31 00:00
K-Means 及 K-Means++
原始K-means算法最开始随机选取数据集中K个点作为聚类中心，而K-means++按照如下的思想选取K个聚类中心： 假设已经选取了n个初始聚类中心(0
2019/03/13 00:00
K
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）
经典例题：在10亿个数中找出1000 个最大的。 思路： 首先取出1000个数，建立一个小根堆，然后依次用剩下“10亿 - 1000 个数”与堆顶元素比较，若小于堆顶元素，则忽略，若大于堆顶元素，则将...
2020/09/29 00:00
k
RWOFTHNR2G5YHAL1GO0I CeMhUIT3PuUEyVyq9dvpbnHcNjMZU4fiDGK7gmok # hwstaff_s00471898 VM8KPZRDRVF0R0UMEWGW 1aCR0aEdzhMm7M7qI4C3sKMPO1UtgmpDr5sT9Lhp weixiongchang BWX2DDHBABTOV95FO9G...
01/06 00:00
lodsve-framework - lodsve-framework
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)
在正式讨论聚类前，我们要先弄清楚一个问题：如何定量计算两个可比较元素间的相异度。用通俗的话说，相异度就是两个东西差别有多大，例如人类与章鱼的相异度明显大于人类与黑猩猩的相异度，这...
2020/04/06 00:00
K均值
K-means算法的工作流程 首先，随机确定k个初始点的质心；然后将数据集中的每一个点分配到一个簇中，即为每一个点找到距其最近的质心，并将其分配给该质心所对应的簇；该步完成后，每一个...
2018/11/10 00:00
网站被k
经常见到很多SEO人员的网站被搜索引擎K了，到处找所谓的SEO大神求助，最后还是无用功，作为优秀的SEO人员我们不能病急乱投医。接下来，我会着重讲解网站被K之后如何快速恢复的办法。 首先来说...
2019/03/27 00:00
What is K-SVD?
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
深圳市奥思网络科技有限公司版权所有
粤ICP备12009483号
