inference

0зной

1ответ

общий сумматор «архитектура вывода»: ошибка моделирования

Итак, я должен создать общий N-разрядный сумматор с переносом и выполнением. я сделал две полностью рабочие архитектуры до сих пор, один с помощью функции генерации и один, используя описание РТЛ след

vhdl xilinx modelsim inference 2015-05-03

---

0зной

1ответ

Моделирование суммы 2 или более лиц в Protege

Я пытаюсь использовать протеже решить следующую математическую загадку: Найти SIX значное число, в котором ПЕРВОГО цифра ONE более чем ТРЕТЬЕЙ, то ВТОРАЯ цифра ONE меньше ЧЕТВЕРТОГО, то ПЯТЫЙ цифра яв

owl ontology protege inference reasoning 2015-01-30

---

2зной

1ответ

Go - math.MaxInt64 и ошибка ввода типа

Я работал над метапрограммированием с использованием пакетов, и я столкнулся с ошибкой constant 9223372036854775807 overflows int при появлении math.MaxInt64 и math.MaxUint64. Я изолировав его в двух

types go inference 2015-03-27

---

0зной

2ответ

объекта вывода типа в Scala при реализации черты

я работаю на небольшой общий инструмент, в котором мне нужно что-то вроде этого: An Operator черта, которая обеспечит инструменты для эксплуатации элементы Издательство признака, ответственные за публ

scala object types traits inference 2015-02-07

---

3зной

2ответ

SPARQL 1,1 Воплощение режимы и запрос с ЕКОМ

Я в настоящее время документирования/тестирования около SPARQL 1.1 режимов Воплощения и рекомендация неоднократно говорится, что анализ объем граф граф-эквивалентен активной графе , но он не указывает

sparql inference triplestore named-graphs 2015-02-09

---

0зной

1ответ

Грамматический вывод: как алгоритм Alignment Based Learning помогает нам выводить грамматику

Я новичок в области вывода грамматики. Во время моих исследований об этом я нашел реализацию под названием Alignment Based Learning (ABL). Я понял, что делается в этой реализации (Alignment -> Cluster

algorithm grammar inference 2015-04-06

---

0зной

1ответ

Эффективное хранение и использование больших наборов графиков в Python с сетью X, целью которого является вывод через графики?

Цель заключается в следующем: У меня есть множество узлов, размер N, для которых я хотел бы генерации (в качестве итератора) множество всех возможных ориентированных графов (предположительно с использ

python graph networkx inference 2015-01-09

---

1зной

3ответ

Почему сова: аргументы ограничения не работают в Blazegraph?

Со следующим ФРР в Blazegraph (взято из this answer): :eats rdf:type owl:ObjectProperty . :Vegetable rdf:type owl:Class ; rdfs:subClassOf owl:Thing . :Vegetarian rdf:type owl:Class ; o

semantic-web owl inference reasoning blazegraph 2015-04-22

---