我正在学习Tensorflow中的tf.contrib.learn，并使用了一个自制的练习。本练习将以x1和x2作为输入，将三个区域分类如下，标签为三角形/圆/十字：
我的代码能够拟合数据并对其进行评估。然而，我似乎不能让预测起作用。代码如下。有什么想法吗？
浏览 4提问于2017-07-23得票数 2
回答已采纳
1回答
SMT求解器的限制
、、、
传统上，计算逻辑的大多数工作要么是命题，在这种情况下，您使用SAT (布尔可满足性)求解器，要么是一阶，在这种情况下，您使用一阶定理证明器。近年来，SMT (可满足性模理论)求解器取得了很大的进展，基本上是用算术等理论来扩充命题逻辑；SRI国际的John Rushby甚至称其为颠覆性技术。在一阶逻辑中可以处理但SMT仍然不能处理的问题的最重要的实际示例是什么？最特别的是，在软件验证领域出现了哪些SMT无法处理的问题？
浏览 3提问于2012-07-21得票数 21
回答已采纳
scikit-learn库有以下类似的分类器： Logistic回归分类器有不同的求解器，其中之一是“sgd”。generated/sklearn.linear_model.LogisticRegression.html#sklearn.linear_model.LogisticRegression 它也有一个不同的分类器'SGDClassifier‘，损失参数可以作为逻辑回归的'log’提到。考虑到<e
浏览 42提问于2017-05-14得票数 14
sklearn的LogisticRegression分类器和它的SGDClassifier有什么区别？我知道SGD是一种优化方法，而Logistic回归(LR)是一种机器学习算法/模型。我也知道SGDClassifier是一个线性分类器，它是由SGD优化的(根据这个答案：根据这个答案，但是下面这两个模型有什么不同呢？)
浏览 0提问于2022-11-24得票数 0
回答已采纳
1回答
约束求解器与SMT求解器
、、、
有人能给我举一些例子，这些例子可以用SMT求解器(比如microsoft z3 )来解决，但是不能通过约束求解器(比如Gecode )来解决吗？约束求解器和SMT求解器的基本区别是什么？
浏览 5提问于2020-05-27得票数 1
1回答
作者用遗传算法找到了用WEKA投票的最优权重向量，但我不知道他们能做到这一点吗？如何使用遗传算法来寻找有WEKA的投票分类器的权重？
为了提高投票算法的性能，采用了加权多数表决。简单多数投票算法通常是组合不同分类器的有效方法，但并不是所有的分类器对分类问题都有相同的效果。为了优化权重多数投票分类器的结果，需要找到最优的权重向量。应用遗传算法求解该问题的最优权向
浏览 0提问于2019-01-10得票数 0
4回答
我是机器学习的新手，我正在尝试为我的一个项目分析分类算法。我在sklearn库中偶然发现了SGDClassifier。但许多论文都将SGD作为一种优化技术。
浏览 1提问于2017-08-02得票数 7
1回答
我正在尝试使用MLPRegressor来适应预定义的3D功能。问题是，我无法打印正确的结果，因此，我的拟合看起来很糟糕时，绘制。def threeDFunc(xin,yin): for xIndex in range(0,40,1): z[xIndex,yIndex]=(np.exp(-(xin[xIndex]**2+yin[yIndex]**2)/0.1))
xThD = np.aran
浏览 4提问于2017-04-05得票数 1
回答已采纳
1回答
这个问题是一个时间相关的问题，意味着解决方案是一步一步地进行的，每一步都作为下一步的初始条件(基本上是循环求解)。我已经意识到python代码在求解时只使用了一个CPU，我想要加速这个过程，并且我有一个双核处理器(4逻辑处理器)。所以我的问题是:有没有办法用两个或三个CPUs来解决每个时间步，我的意思是，我可以用两个CPUs来解决第一个时间步，然后用两个CPUS来解决第二个时间步，依此类推。
浏览 14提问于2020-06-06得票数 1
我已经用Prolog编写了约束求解逻辑，但是代码解析和约束生成是在C++前端进行的。因此，我想从C++调用Prolog，我目前正在通过SWI-Prolog API执行此操作。我需要提供Prolog求解器关于解析的代码(例如，变量名)的事实，以及为它生成的约束来求解它们。现在，我通过Prolog调用assert(fact) (首先在C++求解器中将这些谓词声明为动态)，然后查询求解器来提供这些事实。是否有更好的方法将这
浏览 1提问于2014-04-09得票数 3
我正在研究一个基本的神经网络分类器。目标是训练一个基于3标签数据组的神经网络，然后预测值。数据原理图如下：
我的代码给出了垃圾答案。有什么建议吗？
浏览 2提问于2017-07-11得票数 0
回答已采纳
1回答
我现正寻求解决以下问题的方法：例如，我将"Blue“和"Red”作为分类法的值。并发布与“蓝色”相关的"Post1“。把"Post2“写成”蓝色“。我现在希望我的菜单看起来像：Post1Post3
当然，我可以用基本</
浏览 0提问于2022-06-10得票数 0
1回答
我有一个具有定义参数集( )的warm_start=True模型。假设我修改了一些参数，例如，C=100，并再次使用相同的训练数据调用.fit方法。
请帮助我理解warm_start参数的概念。
浏览 5提问于2017-08-12得票数 5
回答已采纳
我想简要了解所有可用的估计器，如like回归或多项回归或支持向量机，它们可用于分类问题。这就是我所知道的三个。还有其他类似的吗？相对来说，它们运行了多长时间，或者它们能比这些精确到什么程度？
浏览 0提问于2019-06-06得票数 0
1回答
我需要一个支持push和pop的特定逻辑的求解器。因此，我使用SolverFor()函数生成一个1。所以我的问题是：我知道我可以用Goal做到这一点。但在我看来，Goal并不支持push和pop。
如有任何意见，欢迎光临。谢谢。
浏览 0提问于2012-09-18得票数 1
回答已采纳
1回答
这个问题不是关于如何使用matlab，而是试图找出当matab求解微分方程时发生了什么。当使用不同的数值方法时，结果通常是不同的。我想知道matlab中使用的是哪种数值方法。
浏览 5提问于2020-07-11得票数 0
我基本上是在创建一个公式计算器，它可以让你点击你想要解决的公式。您将已知值输入到文本框中，并保留其中一个未知的值。然后，逻辑将为未知值求解。我将需要许多不同的屏幕，因为有吨和吨不同的公式，我将支持。或者，是否有机会只使用一个通用屏幕，根据您想要求解的公式动态变化？我该怎么做呢？
浏览 0提问于2021-01-08得票数 0
这个问题要求我在训练线性分类器时对所选特征的权重进行正则化。我使用的是python SKlearn。
我在谷歌上搜索了很多关于在SKlearn中整合分类器的非对称正则化的信息，但我找不到任何解决方案。
浏览 10提问于2014-09-20得票数 0
我在z3中遇到了一些不寻常的运行时行为，我想问一下为什么会发生这种情况： 示例1： (set-info :smt-lib-version 2.6)
(define-sort FPN () (Float32))
(assert (fp.eq a1 ((_ to_fp 8 24) RNE 1)))(assert (fp.eq a2 ((_ to_fp 8 24) RNE -1)))(assert (
浏览 7提问于2020-12-09得票数 1
回答已采纳
云服务器
ICP备案
对象存储
实时音视频
云直播
腾讯云开发者
