Публикации по теме '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 просмотров

Изабель разрешает интерпретацию
Я использую 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