Публикации по теме 'interpretation'
Полное руководство по усилению ансамблей
Бустинг - одна из техник ансамбля, которая с каждым днем становится все более популярной. Без сомнения, бустинг работает феноменально, но люди часто принимают его за модель черного ящика, и поэтому в этом блоге будет рассказано о бустерных ансамблях, включая его введение, математику, классификацию, ее реализацию и то, как интерпретировать ее результат.
Но прежде чем разбираться в бустинговых ансамблях, лучше понять, что такое ансамбли, почему они предпочитают простые алгоритмы машинного..
Вопросы по теме 'interpretation'
Оценка обратной кавычки Common Lisp: разделитель и оператор
Как это, что в
`(1 ,(+ 1 1) (- 4 1) 4) ; '(1 2 (- 4 1) 4)
знак минус ("-") рассматривается не как оператор (а как символ; '- вместо #'- - правильно?) (Эту часть я думаю, что понимаю.)
Но почему третья левая скобка действительно оценивается...
209 просмотров
schedule
19.04.2024
Реализовать императивный оператор возврата в интерпретаторе
Я пытаюсь реализовать простой императивный язык в haskell.
Вообще говоря, моя программа представляет собой список операторов (таких как арифметическое выражение, если/тогда, блочный оператор). У моего оценщика простое состояние: стек лексических...
464 просмотров
schedule
14.05.2022
Как создается модель с Z3?
В настоящее время я работаю над подходом к подсчету моделей с помощью решателя SMT Z3. Кто-нибудь знает, как Z3 генерирует модели, например. что-то вроде линейной арифметики (ЛИА)? Какой алгоритм используется и где я могу найти исходный код этого...
111 просмотров
schedule
22.12.2022
Интерпретация JVM против JIT-компиляции. Разве JVM не компилирует байт-код для машинного чтения?
У меня есть вопрос о JVM (виртуальная машина Java) и JIT (Just-in-Time). Насколько я знаю, JVM принимает в качестве входных данных байт-код (из файла расширения .class) и интерпретирует этот байт-код. Вопросы:
Когда мы говорим интерпретировать,...
317 просмотров
schedule
15.06.2023
Какая простейшая модель оценки объясняет call/cc?
TL;DR: Что делает call/cc (полу)формально?
Длинная версия: я смутно знаком с продолжениями и call/cc, но у меня нет четкого формального понимания. Я хотел бы один.
В видеолекциях SICP нам представлена модель замещения и метациклический...
115 просмотров
schedule
24.03.2024
Изабель разрешает интерпретацию
Я использую Isabelle 2019, и у меня возникли некоторые проблемы с местными жителями:
Я создаю локаль с аббревиатурой, например:
interpretation myInstance : myLocale "abbreviation"
Я использую это с функцией из локали, например:...
85 просмотров
schedule
28.12.2023
Рассчитать вручную подобранные значения взаимодействия из выходных данных регрессии
Я работаю с моделью взаимодействия, подобной приведенной ниже:
set.seed(1993)
moderating <- sample(c("Yes", "No"),100, replace = T)
x <- sample(c("Yes", "No"), 100, replace = T)
y <- sample(1:100,...
36 просмотров
schedule
17.06.2022