9
ответов
Почему бы не вывести шаблонный параметр от конструктора?
мой вопрос сегодня довольно прост: почему компилятор не может вывести шаблонные параметры из конструкторов класса, как он может сделать от параметров функции? Например, почему следующее не могло кодировать...
вопрос задан: 28 April 2016 03:46
7
ответов
Действительно ли решение является проблемой остановки, легче, чем люди думают?
Хотя общий случай неразрешим, многие люди все еще решают проблемы, которые являются equivilent достаточно хорошо для повседневного использования. В диссертации Коэна на компьютерных вирусах он показал как вирус...
вопрос задан: 2 September 2008 21:29
4
ответа
Вывод из универсального вопроса о типе
Я предполагаю, что это - больше общедоступной напыщенной речи, но почему я не могу заставить c# выводить тип моего идентификатора? общедоступные EntityT Добираются <EntityT> (идентификатор IDT) где EntityT: EntityObject <IDT> и определенный En
вопрос задан: 11 August 2009 18:05
3
ответа
Вызывание шаблонной функции без <>; вывод типа
Если у меня есть шаблон функции с именем типа T, где компилятор может установить тип отдельно, я не должен писать тип явно, когда я вызываю функцию как: шаблон <имя типа T>...
вопрос задан: 17 November 2015 03:27
2
ответа
Кто такой Хиндли-Milner?
Я встретился с этим Хиндли-Milner термина, и я не уверен, если схватывание, что это означает. Я прочитал следующие сообщения: Steve Yegge - Динамические Языки Наносят ответный удар Steve Yegge - проблема Pinocchio...
вопрос задан: 20 August 2014 14:26
1
ответ
Есть ли способ заставить вывод работать с расширенной строкой в условной машинописи?
Я пытаюсь извлечь общий тип строкового литерала, но вывод typecript возвращает только строку типа. Таким образом, технически, когда тип строкового литерала передается в функцию, мы не можем извлечь его ...
вопрос задан: 28 March 2019 01:12
1
ответ
Выведение использования Йена
InfModel infmodel = ModelFactory.createInfModel (reasoner, m); вегетарианец Ресурса = infmodel.getResource (источник + "Вегетарианец"); Ресурс margherita = infmodel.getResource (источник + "Пример-Margherita"...
вопрос задан: 11 June 2010 15:56
1
ответ
Йена производит различных режимов логического следствия
Я пробую sparql и использование логического следствия. Как пример я использовал http://www.w3.org/TR/2010/WD-sparql11-entailment-20100126/#t112, я пытаюсь поместить их в Йену. OntClass book1 = model.createClass (...
вопрос задан: 9 June 2010 16:20
0
ответов
Построение Inferred Virtuoso Model в Йене
У меня есть набор онтологий и данных RDF, хранящихся в версии Virtuoso с открытым исходным кодом 07.20.3217. А именно, это онтологии, которые я сохранил: BOT (http://w3id.org/bot) SEAS Особый интерес (...
вопрос задан: 1 March 2019 10:54
0
ответов
Jena:Как сделать вывод о проблемах с данными/производительностью
Я хотел бы использовать возможности выводов Jena, но у меня возникли некоторые проблемы с производительностью при использовании InfModel. Вот упрощенный обзор моей онтологии:Свойства:hasX (Диапазоны(...
вопрос задан: 23 May 2017 12:06
0
ответов
Инструменты / библиотеки Python для семантической сети: состояние дел? [closed]
Каковы лучшие (более или менее зрелые, поддерживающие более продвинутую логику, имеющие приемлемую производительность, масштабируемые до некоторой степени) библиотеки и инструменты семантической паутины с открытым исходным кодом (RDF-хранилище, рассужден
вопрос задан: 19 July 2012 15:58
0
ответов
Реализация последовательного метода Монте-Карло (фильтры частиц)
Меня интересует приведенный здесь простой алгоритм фильтрации частиц:http://www.aiqus.com/upfiles/PFAlgo.pngОн кажется очень простым, но я понятия не имею, как это сделать на практике. Любая идея о том, как...
вопрос задан: 4 June 2012 13:42
0
ответов
SPARQL Querying Transitive
Я новичок в SPARQL и хотел узнать, есть ли запрос, который может помочь мне вернуть переходные отношения. Например, в файле n3 ниже я хотел бы получить запрос, который вернет "a - то же самое, что ...
вопрос задан: 29 May 2012 13:15
0
ответов
Существует ли какой-нибудь бесплатный совин, который может рассуждать без загрузки всех данных в память?
Я использую Jena и TDB для хранения RDF, и я хочу сделать некоторые выводы на его основе. Но данные RDF большие, и совиному рассудку Jena приходится загружать все данные в память. Итак, я хочу найти один ризонер, который может...
вопрос задан: 25 April 2012 16:39
0
ответов
Вывод типа для аргументов типа универсальных методов
Я новичок в Stack Overflow, поэтому, пожалуйста, не торопитесь! Я углубленно читаю C #, но натолкнулся на сценарий, который, как мне кажется, не описан. Быстрый поиск в Интернете не дал никаких результатов ...
вопрос задан: 28 January 2012 01:41
0
ответов
Константы и оценка времени компиляции - Зачем изменять это поведение
Если вы перешли примерно на 13 минут в этом видео Эрика Липперта, он описывает изменение, которое было внесено в компилятор C#, который делает следующий код недействительным (по-видимому, до и ...
вопрос задан: 24 January 2012 05:37
0
ответов
Компилятор Scala не может вывести смесь- в типе для сопоставления с образцом
У меня есть вариант использования для алгебраических групп над конечными наборами перестановок. Поскольку я хотел бы использовать группу для различных классов перестановок, которые в противном случае не связаны, я хотел бы сделать это как ...
вопрос задан: 10 October 2011 11:17
0
ответов
Облегченный механизм вывода, совместимый с Ruby
У меня есть большое приложение Ruby, которое просто требует добавления механизма вывода; Мне не нужна большая функциональность, я не боюсь интеграции библиотек C, и у меня ничего не выходит ...
вопрос задан: 30 September 2011 22:58
0
ответов
Проблема с типом (выводом) скалы?
Я разрабатываю веб-сервис REST в скале с использованием эталонной реализации JAX-RS на Джерси и получаю странную ошибку. Я пытаюсь создать объект ContentDisposition, используя ...
вопрос задан: 31 August 2011 07:45
0
ответов
Программа / код индукции грамматики GA?
Кто-нибудь знает о программе, которая использует GA для выполнения индукции / вывода грамматики, я прочитал тонны исследовательских работ и статей на эту тему как Lankhorst и De Pauw, но я не могу их найти ...
вопрос задан: 20 August 2011 10:02
0
ответов
Начинающий на прологе - это плохая идея?
Приложение, над которым я работаю, является своего рода "конфигуратором" . Он написан на C #, и я даже написал для него механизм правил. Идея состоит в том, что существует набор утверждений пропозициональной логики, и ...
вопрос задан: 21 July 2011 20:33
0
ответов
Прямая цепочка и обратная цепочка в java
Какой будет лучший подход для реализации прямой цепочки и обратной цепочки для процесса рассуждений в java? Нам была предоставлена база знаний в роговой форме, в которой есть набор утверждений. У меня есть ...
вопрос задан: 23 May 2011 00:32
0
ответов
Как реализовать лексический анализ в Javascript
Привет, ребята, спасибо за чтение. Я сейчас пытаюсь сделать Google- калькулятор стилей. Вы вводите строку, он определяет, можно ли вычислить, и возвращает результат. Я начал медленно с ...
вопрос задан: 18 January 2011 16:50
0
ответов
Нужен API автоматической пометки изображений, какие-либо предложения?
Я создаю приложение, которое должно принимать изображение и выводить связанные с ним теги. Эти теги могут относиться к вещам, прилагательным или даже эмоциям, связанным с изображением. Я уже нашел АЛИПР. ...
вопрос задан: 15 November 2010 21:59