回答情况：
提问时间：
问题标签：
我使用DCGAN ( Deep Convolution GAN )生成图像。但是，我想在嵌入式设备上运行它，比如Intel Movidius或Jetson。但是，在浏览了几篇互联网文章时，我知道嵌入式设备只用于深入学习的情况下进行推理。GAN基本上是一个生成网络。怎么能有推论呢？对于GAN来说，推理和训练是否是一回事？它(GAN)能在嵌入式设备上运行吗?内存是一个真正的问题吗？
浏览 0提问于2018-08-27得票数 2
我提取并可视化了重量，偏倚，零分的鳞片，多亏了尼特恩.
我需要用C语言设计LeNet5 CNN。在FP32格式中，我的模型推理工作得很好。但是，我不明白用INT8格式进行推断的要点。从“有效整数-算术推理的神经网络量化和训练”：中，作者详细描述了用量化INT8卷积进行推理的工作流程:在输入和权值之间的卷积步骤之后的，然后加上偏差，作者精确地说明了从INT32到INT8的降尺度是由M
浏览 17提问于2021-12-22得票数 0
到目前为止，我认为SPARQL等同于关系数据库中的SQL语言，也就是说，使用SPARQL只能查询本体中显式存在的数据，而不能访问可以推断的数据，从而将推理的责任留给推理者。然而，我读过一些文档，从中我推断出SPARQL确实具有在本体中推断隐式和非显式知识的能力。我的推断是真的吗？也就是说，是否可以通过SPARQL查询推断知识，而不需要推理器？如果答案是真的，那么使用推理机比使用SPARQL有什么优势呢？
你好，曼纽尔·普埃布拉。
浏览 10提问于2018-12-06得票数 0
我有一个精炼的类型定义，如下所示： type D = String Refined Regex "(a|b)" 我可以在一行中使用精化来表示值，但是由于某些原因，即使类型是显式的，在Map的上下文中使用时，autoRefineV也不会提取它。
浏览 18修改于2019-05-22得票数 1
回答已采纳
我正在寻找关于为函数式语言进行类型推断的著名的信息，特别是关于实现的信息。
我已经知道如何做了，但我听说了最近基于约束生成器/求解器的新算法，而不是通常的统一算法。你知道我在哪里可以找到关于ML推理的部分信息吗？
浏览 0修改于2017-10-19得票数 19
回答已采纳
2回答
假设我在ocaml中有以下代码：val func : 'a -> ('a -> 'b) -> 'b = <fun>然而，我不明白的是
浏览 1修改于2021-10-27得票数 0
回答已采纳
上下文:卷积式自动编码器Input to neural network from shuffle在推理过程中，我调用tf.get_collections()来提取这些节点，然后调用sess.run()。它说，形状是固定在512，32，32，3，我如何解决这个问题？
浏览 1提问于2016-10-31得票数 1
回答已采纳
我对术语重写系统的使用很感兴趣，我发现术语重写“有助于函数式程序的基本推理”，但我不能理解它的意思。我没有使用过函数式编程，但我知道它的主要原则，比如纯函数和不变性。尽管如此，我还是不明白基本的推理是指什么。另外，它是否以某种方式与术语重写的倒置有关？
浏览 2提问于2019-06-04得票数 1
当在三元组中激活推理时，以下查询WHERE {}owl:Thingex:Human有没有办法只得到显式断言的公理作为结果？(在本例中，显然是ex:MaleHuman)
请注意，推理不能被关闭，原因之一是以上是需要推理的更复杂查询的一部分。
浏览 4修改于2016-04-14得票数 2
尝试在树莓派3上使用英特尔推理引擎加载ssdlite v2模型。为此，我需要使用英特尔推理引擎构建opencv-4.0。我无法使用带有-DWITH_INF_ENGINE=ON ^ -DENABLE_CXX11=ON标志的CMAKE构建开放式CV。有人知道怎么做吗？
浏览 6提问于2019-01-23得票数 0
我有一个用TopBraid创建的本体，它使用SPIN + OWL推理。我一直在尝试找出一种解耦SPIN的方法，因为大多数RDF图形数据库供应商仍然不支持该标准。首先，我想知道是否可以在执行一组SPARQL插入/更新时暂时关闭GraphDB推理器，然后再打开推理器。
其次，虽然可能不推荐，但是否可以将SPARQL插入/更新添加到隐式图而不是显式图？
浏览 16提问于2018-08-11得票数 1
，这样我就可以公开一些关系，然后使用来提取所需的数据，而且一切都足够简单，可以编写到一个虚拟的交互式shell中。集成Datalog前端来提取数据是否更好(假设存在这种可能性)？或者最好是将数据导出到中，然后使用一些可用的查询/推理工具？哪个？
浏览 0提问于2013-06-06得票数 2
回答已采纳
合同式设计基于Hoare逻辑，通过前后条件和不变量的推理来证明程序的正确性。可以静态地检查它，还是它只是运行时断言的一种形式？
浏览 0修改于2016-12-10得票数 3
有没有办法让推理机(比如Protege中的HermiT )检查本体的一致性和marmotta中的推理？或者有没有办法从本体文件中为sKWRL推理机生成规则？
浏览 1修改于2016-05-18得票数 0
在我的应用程序中执行推理器时，我遇到了一个问题，我无法捕获推理器生成的推理。这是正常执行的，printClassTree向我显示找到了推断，但结果OWLOntology没有推断。如何捕获推理推理器产生的公理？
浏览 1提问于2013-04-30得票数 0
回答已采纳
我想使用TF 2.0在我的GPU集群上运行分布式预测。我用MirroredStrategy训练了一个用凯拉斯制作的CNN，并保存了下来。我可以加载模型并对其使用.predict()，但我想知道这是否会自动使用可用的GPU进行分布式预测。如果不是，我如何运行分布式预测来加速推理并使用所有可用的GPU内存？目前，当运行许多大型预测时，我超过了其中一个GPU(12 it )的内存(需要17 it)，推理失败，因为它耗尽了内存： Allocator (GPU_0_bfc) ran out of memory
浏览 43提问于2020-06-13得票数 3
当推理多项式不等式时，Z3似乎必须首先将多项式转换为单项式形式。我想知道在求解器中是否有一个设置，可以让我定义我想要将多项式转换为的单项式次？
我正在使用z3py界面，但我无法通过在线搜索找到它。
浏览 0修改于2019-06-05得票数 0
在Nvidia的博客中，他们介绍了他们的TensorRT如下：
NVIDIA TensorRT™是一种用于生产部署深度学习应用的高性能神经网络推理机。TensorRT可用于快速优化、验证和部署经过训练的神经网络，用于向超级计算机数据中心、嵌入式或汽车产品平台进行推理。所以我想知道，如果我有一个预先训练过的Tensorflow模型，我能在Jetson TX1中的TensorRT中使用它进行推理吗？
浏览 4修改于2017-08-10得票数 0
1回答
我编写了这个简单的合成函数，它工作得很好。然而，为了确保类型安全，我不得不使用泛型来向编译器提供类型提示，尽管可以很容易地推断出"upperCaseAndLog“的签名。const compose = <T, R>(...fns: Array<(a: any) => any>) => (a: T): R =>const toUpperCase = (s: s
浏览 0提问于2018-11-07得票数 0
回答已采纳
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号