Вопросы с тегом «terminology»

Я читал эти слова во многих публикациях, и я хотел бы получить несколько хороших определений для этих терминов, которые проясняют, в чем разница между обнаружением объекта и семантической сегментацией по сравнению с локализацией. Было бы хорошо, если бы вы могли дать источники для ваших определений.

23 terminology  computer-vision 

В сценарии, который я сейчас читаю по лямбда-исчислению, бета-эквивалентность определяется следующим образом: -эквивалентность является наименьшей эквивалентности , который содержит .ββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta Я понятия не имею, что это значит. Может кто-нибудь объяснить это более простыми словами? Может быть с примером? Мне это нужно для леммы, вытекающей из теоремы Черча-Рассера: Если M N, …

21 logic  terminology  lambda-calculus  type-theory 

Я преподаю информатику до 18 лет. После объяснения им обратной польской записи один из них спросил, почему это достаточно важно для участия в государственном экзамене. Я объяснил историческое значение калькуляторов 70-х годов, но это не помогло решить проблему. Так есть и параллельные практические или теоретические применения RPN.

21 terminology  education 

Я знаю, что такое вычисления в некотором расплывчатом смысле (это то, что делают компьютеры), но я бы хотел более строгое определение. Dictionary.comОпределения вычислений, вычислений, вычислений и вычислений являются круговыми, поэтому это не помогает. Wikipediaопределяет вычисление как «любой тип вычисления, который следует четко определенной модели». Он определяет расчет как «преднамеренный процесс, …

20 terminology  computability 

Я пытаюсь выяснить, кто придумал термин «машинное обучение». Вспомогательный вопрос - откуда Артур Самуэль назвал область «машинного обучения» в 1959 году следующим образом: область обучения, которая дает компьютерам возможность учиться без явного программирования ? Вы можете найти много, много ссылок на это определение в Интернете, но я не смог отследить …

19 terminology  reference-request  machine-learning  history 

Я пишу исследовательскую работу и должен сказать, что один микроконтроллер работает медленнее, чем другой микропроцессор. Тем не менее, я беспокоюсь, что просто сказать, что это «медленнее», было бы неуместно в исследовательской работе. Я прав? Можно ли просто сказать, что один процессор «медленнее», или мне нужно сказать что-то другое? Что еще …

19 terminology  computer-architecture 

Я читал о динамическом программировании, когда наткнулся на следующую цитату Алгоритм динамического программирования рассмотрит все возможные пути решения проблемы и выберет лучшее решение. Таким образом, мы можем приблизительно представить динамическое программирование как интеллектуальный метод грубой силы, который позволяет нам пройти через все возможные решения, чтобы выбрать лучшее . Если масштаб …

19 algorithms  terminology  optimization  dynamic-programming 

Я постоянно сталкиваюсь со ссылками на фиксированную точку в вопросах и ответах на stackexchange и просматриваю смысл в Интернете, очевидно, находя ссылки на таких сайтах, как Wikipedia. Однако ни одна из ссылок не отвечает на мой вопрос о том, что такое фиксированная точка и что это значит в мире информатики.

19 terminology 

Я знаком с дюжиной языков программирования, которые в некотором роде имеют исключения, но я стал свидетелем двух «патологических» тенденций. Кажется, что не существует общего шаблона или иерархии исключений. Каждый язык в основном катит свою собственную версию, и если исключения делают это стандартом, то исключения, которые можно найти в стандарте, были …

18 terminology  programming-languages  api-design 

Я начал читать все больше и больше статей по языковым исследованиям. Я нахожу это очень интересным и хорошим способом узнать больше о программировании в целом. Тем не менее, как правило , приходит раздел , где я всегда борюсь с (Возьмем, например , части третьей этой ) , так как мне …

18 logic  reference-request  terminology  type-theory 

В моем курсе « Алгоритмы и структуры данных» профессора, слайды и книга ( Введение в алгоритмы, 3-е издание ) использовали слово NILдля обозначения, например, дочернего элемента узла (в дереве), который не существует. Однажды, во время лекции, вместо того, чтобы сказать NIL, мой одноклассник сказал null, и профессор поправил его, и …

17 algorithms  terminology  data-structures  notation 

Я думаю, что знаю, что такое «жесткая» операционная система реального времени. Это операционная система с планировщиком, которая предоставляет контракт с программистом приложения. Приложение предоставляет крайний срок для каждого запроса на выделение ресурсов. Если запросы крайнего срока осуществимы , планировщик гарантирует, что каждый ресурс будет выделен запрашивающему приложению до крайнего срока. …

17 terminology  operating-systems  process-scheduling  real-time 

Каковы различия между компьютерным зрением и обработкой изображений? Например, в распознавании объектов, какова роль компьютерного зрения и обработки изображений?

17 terminology  computer-vision  image-processing  education 

Я использовал FSM в схемах цифровых последовательных цепей. Но я незнаком с конечными автоматами. Может ли кто-нибудь помочь мне понять «основную» разницу между ними?

16 terminology  automata  finite-automata 

Я действительно борюсь с этим свойством: Пусть - пространства когерентности, а - монотонная функция. непрерывен тогда и только тогда, когда , для всех таких, что является направленным множеством.f : C l ( X ) → C l ( Y ) f f ( ⋃ x ∈ D x ) = …

16 terminology  programming-languages  semantics