devil_bye的博客

论文内容验证深度神经网络的正确性是困难的，我们研究一个关于前馈深度神经网络的一般性可达性问题——给定一个输入集合，使用Lipschitz连续的函数来计算输出，计算这个函数值的上下界。因为神经网络和函数都是利普希茨连续的，所以在这个上下界中的任意数值都是可达的。我们展示了如何通过实例化一个可达性问题来获取安全验证问题，输入范围分析问题和鲁棒性测量问题。我们提出了一种新的基于自适应嵌套优化的算法来解...

论文地址：https://arxiv.org/abs/1609.066471.Introduction自动识别图像内容并转化为描述比研究得很好的图像分类或对象识别任务要困难得多，后者一直是计算机视觉界的主要关注点。事实上，描述不仅必须捕获图像中包含的对象，还必须描述这些对象如何相互关联，以及它们的属性和所涉及的活动。此外，上述语义知识必须以英语等自然语言表达，这意味着除了视觉理解之外，还需要一...

摘要众包是一种在一定时间内以分布式方式解决问题的有效方法。众包平台的工作原理可以是竞争性的或协作性的。在这两种情况下，群体工作者（解决者）通过竞标或由请求者（任务提供者）预先通知获得报酬。即使这种形式是方便的，竞争力的诅咒也常常减少工人的参与。我们强调，通过在竞争激烈的众包市场引入协作，我们可以有效地处理可分解类型的任务。为此，我们提出了一种新的机制。如果任务是可分解的，那么工作人员可能会有兴趣...

论文完整名称《How project description length and expected duration affect bidding and project success in crowdsourcing software development》摘要在众包软件开发网站上，供应商对非常短期的提案请求（中位数7天）进行投标，这些请求以简短的方式描述（中位数241字）。因为它的规...