在这文件中，图4中：给出了不同的$W1$和$W2$s的判定边界，如果$W_1.x > W_2.x$或$W_1.x < W_2.x$分别适用于第1类和第2类，则判定边界为$(W1-W2).x =0$，这意味着决策边界垂直于$W1-W2$。但是，在这个数字中，只有在$||W1|| =\}的情况下，这种情况在视觉上是正确的。在其他情况下，情况并非如此。如果一个人画$W1-W2$，它将不垂直于决策边界。
我想得对吗？
浏览 0提问于2018-08-23得票数 3
回答已采纳
我感到困惑的是，决策曲面和决策边界之间有什么区别？我看到两个例子显示了分类器的不同：2)
两者都用来表示分类器的差异。第一种使用预测，第二种使用predict_proba或决策函数。
浏览 1提问于2016-04-11得票数 3
回答已采纳
我试图证明输入x}的语言L= {w∈{0，1}∗Mw(x)↓是部分可判定的，但不是可判定的。Mw是M的编码，因此L语言使机器M的所有编码在某个输入x上停止。我有两个想法：
但是，我很难决定这两种方法中哪一种实际上是正确的，以及如何用正确的符号来写它。有人能给点提示吗？
浏览 2提问于2018-10-30得票数 1
1回答
从滑雪板中判定边界
、、、
random_state=None, shrinking=True, tol=0.001, verbose=False)array([ 1.5])
如何得到具有非线性rbf核的决策边界？我们可以通过clf.suppport_vectors_得到支持向量，但是，支持向量和决策边界方程之间的对应关系是什么？
浏览 4提问于2013-09-27得票数 1
1回答
我设置了一个非常简单的SVC来对MNIST数字进行分类。由于某些原因，分类器一直错误地预测数字5，但在尝试所有其他数字时，它不会漏掉一个数字。有没有人知道我是否把这个设置错了，或者它真的很难预测数字5？from sklearn.model_selection import train_test_splitfrom sklearn.svm import SVC
data = datasets.load_di
浏览 2提问于2020-03-28得票数 0
回答已采纳
具体来说，我正在研究一阶阵列理论中不同的可判定碎片.
例如，第1篇文章给出了一个数组的∃∗∀∗片段，我们可以证明它的属性:例如，∀i . 0 ≤ i < n → a[i+1] = a[i]−1。然而，通过定义一种新的带计数器的Büchi自动机类，他们按照自动机理论方法建立了这种逻辑的可判定性。对于我来说，这听起来远不是我所理解的SMT求解器作为可判定理论与量词的决策过程所实现的经典量词消除。换句话说，∀i . 0 ≤ i < n → a[i+1] = a[i]−1查询是用Z3中的终止决策过程来
浏览 8提问于2022-10-05得票数 0
回答已采纳
1回答
克莱恩星无法分辨
、、、
我知道，如果L是可判定的，我们可以通过构造一个图灵机来证明L*也是可判定的，但是我很难解决这个问题:如果L是不可判定的，那么L*也是不可判定的。这句话是真的还是假的？
浏览 2提问于2017-10-03得票数 1
1回答
由于X有一个有限的元素数，所以它上有一个有限的可判定谓词。因此，在这个证明中，我只看了所有这些，并证明了每一个求和的正确一面。
然而，在更一般的情况下，我根本无法移动目标。我的直觉是，这应该是不可判定的:没有算法有一个有限的上边界的运算，以确定是否P持有所有的n : nat。同样的，似乎应该适用于元素数量无限的任何其他类型(例如，不仅仅是nat)。如果不是，我应该如何在Coq中证明这样一个目标？
浏览 0提问于2019-11-01得票数 1
回答已采纳
2回答
在这个特殊的例子中，我还得到了一组原子变量，这些变量被显式地作为术语注入。
很清楚如何用Coq (我在底部有一段代码)将其写下来，但我想证明某种可判定性的结果。我已经证明了向量的可判定性(“如果我对A有可判定性，那么我就可以得到VectorDef.tAn上的可判定性”)，但是我想不出如何对我的树类型做同样的工作。我试图对树的结构进行显式递归，但最终需要调用我的“可判定向量”函数，该函数无法通过终止检查器。这是合理的，因为向量函数期望为其基础类型的任意元
浏览 0提问于2019-03-25得票数 2
回答已采纳
1回答
如果我从scipt中的库中复制count_occ & eq_dec，那么它就可以工作。我的问题是，当我已经包含了库模块时，为什么要重新定义函数。请指导我如何仅通过添加库模块来编写引理(不再定义函数)？
浏览 23提问于2021-04-15得票数 1
1回答
白像素聚类提取
、、、
我有两幅输出图像，我们将从中得到毛孔，但不知道如何做it..also。两幅图像的size..image1大小分别为240*320和230*310 ..here，这是我的图像。
浏览 1提问于2014-03-05得票数 3
回答已采纳
3回答
C#静态数组绑定检查
、、、、
编辑:是的，我知道在general 中，理论上是不可能这样做的(也就是说，它是不可判定的)，但这并不意味着在某些情况下不可能这样做(事实上，正式验证的整个领域是为理论上不可能的事情生产实用工具)。
浏览 6提问于2013-12-06得票数 1
回答已采纳
我的第一个问题是，我是否可以用Z3Py表示以下公式：这意味着:数组中是否存在一个位置我知道这种表达式可以在Dafny中查询，而且(因为Dafny在下面使用Z3 )，我想这可以在Z3Py中完成。
我的第二个问题是: Z3中涉及数组的可判定片段的表达能力如何？我阅读了关于数组的全部理论是如何不可判定的()，而只是一
浏览 8提问于2022-09-19得票数 0
回答已采纳
在我的控制器中，我有一个使用jquery AJAX调用的方法。控制器方法在成功时发送一个判定(some.view.in.my.app)。如何在客户端浏览器中加载此页面？
浏览 0提问于2013-04-25得票数 1
回答已采纳
利用MATLAB中的newpnn函数，给出了这三个类的决策边界。
我对判定边界是否合适有疑问。我正在用一个数据验证输出，X =[2;3.55]属于类2，它是由输出图中的黑点描述的。蓝色是1级。
浏览 1提问于2016-06-14得票数 6
回答已采纳
3回答
朴素贝叶斯和Logistic回归都能很好地分类这两个数据集吗？我的理解是，朴素贝叶斯可以，和Logistic回归与复杂的条件可以分类这些数据集。如果我错了，请帮忙。
浏览 3提问于2014-01-30得票数 3
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
实时音视频活动推荐
腾讯云开发者
