L'informatique terminology

5

Quelle est la différence entre la détection d'objets, la segmentation sémantique et la localisation?

J'ai lu ces mots dans de nombreuses publications et j'aimerais avoir de belles définitions pour ces termes qui montrent clairement quelle est la différence entre la détection d'objet et la segmentation sémantique et la localisation. Ce serait bien si vous pouviez donner des sources pour vos définitions.

23 terminology computer-vision

2

Qu'est-ce que l'équivalence bêta?

Dans le script que je lis actuellement sur le calcul lambda, l'équivalence bêta est définie comme suit: L' équivalence est la plus petite équivalence qui contient .ββ\beta≡β≡β\equiv_\beta→β→β\rightarrow_\beta Je n'ai aucune idée de ce que ça veut dire. Quelqu'un peut-il l'expliquer en termes plus simples? Peut-être avec un exemple? J'en ai …

21 logic terminology lambda-calculus type-theory

7

Quelle est la signification de la notation polonaise inversée?

J'enseigne l'informatique à des jeunes de 18 ans. Après avoir expliqué la notation polonaise inversée, on a demandé pourquoi elle était suffisamment importante pour être soumise à l'examen public. J'ai expliqué l'importance historique des calculatrices des années 70, mais cela n'a pas vraiment résolu le problème. Il en est de …

21 terminology education

5

Qu'est-ce que le calcul exactement?

Je sais ce qu'est le calcul dans un sens vague (c'est ce que font les ordinateurs), mais j'aimerais une définition plus rigoureuse. Dictionary.comLes définitions de calcul, calcul, calcul et calcul sont circulaires, donc cela n'aide pas. Wikipediadéfinit le calcul comme «tout type de calcul qui suit un modèle bien défini». …

20 terminology computability

6

Comment puis-je académiquement dire qu'un ordinateur est plus lent que l'autre?

J'écris un document de recherche et je dois dire essentiellement qu'un microcontrôleur est plus lent qu'un autre microprocesseur. Cependant, je crains que le simple fait de dire qu'il est «plus lent» ne serait pas approprié dans un document de recherche. Ai-je raison? Est-il correct de dire simplement qu'un processeur est …

19 terminology computer-architecture

1

Qui a inventé le terme «machine learning»?

J'essaie de comprendre qui a inventé le terme "machine learning". Une question accessoire vient d'où Arthur Samuel est cité comme définissant le domaine du "machine learning" en 1959 comme: le domaine d'études qui donne aux ordinateurs la capacité d'apprendre sans être explicitement programmé ? Vous pouvez trouver de nombreuses références …

19 terminology reference-request machine-learning history

6

En quoi la programmation dynamique est-elle différente de la force brute

Je lisais sur la programmation dynamique lorsque je suis tombé sur la citation suivante Un algorithme de programmation dynamique examinera toutes les façons possibles de résoudre le problème et choisira la meilleure solution. Par conséquent, nous pouvons grosso modo penser la programmation dynamique comme une méthode intelligente, par force brute, …

19 algorithms terminology optimization dynamic-programming

5

Point fixe, qu'est-ce que cela signifie dans le monde de l'informatique

Je continue à trouver des références à des points fixes dans les questions et réponses à stackexchange et je cherche la signification sur le Web en trouvant évidemment des références sur des sites tels que Wikipedia. Cependant, aucune des références ne répond vraiment à ma question de savoir ce qu'est …

19 terminology

3

Existe-t-il une théorie des hiérarchies d'exceptions?

Je connais une douzaine de langages de programmation qui ont des exceptions d'une certaine manière, pourtant j'en suis venu à être témoin de deux tendances "pathologiques". Il ne semble pas y avoir de modèle ou de hiérarchie commun d'exceptions. Chaque langue roule essentiellement sa propre version, et si les exceptions …

18 terminology programming-languages api-design

3

Comment lire les règles de frappe?

J'ai commencé à lire de plus en plus d'articles de recherche linguistique. Je trouve cela très intéressant et un bon moyen d'en savoir plus sur la programmation en général. Cependant, il y a généralement une section avec laquelle je me bats toujours (prenez par exemple la troisième partie de cela …

18 logic reference-request terminology type-theory

3

À quoi sert NIL pour représenter des nœuds nuls?

Dans mon cours sur les algorithmes et les structures de données , les professeurs, les diapositives et le livre ( Introduction aux algorithmes, 3e édition ) ont utilisé le mot NILpour désigner par exemple un enfant d'un nœud (dans un arbre) qui n'existe pas. Une fois, pendant une conférence, au …

17 algorithms terminology data-structures notation

3

Quelles garanties les systèmes d'exploitation en temps réel «doux» fournissent-ils

Je pense que je sais ce qu'est un système d'exploitation en temps réel "dur". Il s'agit d'un système d'exploitation avec un planificateur qui fournit un contrat avec le programmeur d'application. Une application fournit un délai à chaque demande d'allocation de ressources. Si les demandes de délai sont réalisables , le …

17 terminology operating-systems process-scheduling real-time

3

Quelles sont les différences entre la vision par ordinateur et le traitement d'image?

Quelles sont les différences entre la vision par ordinateur et le traitement d'image? Par exemple, dans la reconnaissance d'objets, quels sont les rôles de la vision par ordinateur et du traitement d'image?

17 terminology computer-vision image-processing education

3

Quelle est la différence entre les automates finis et les machines à états finis?

J'ai utilisé FSM dans les conceptions de circuits séquentiels numériques. Mais je ne connais pas les automates finis. Quelqu'un peut-il m'aider à comprendre la différence «fondamentale» entre les deux?

16 terminology automata finite-automata

2

Quelle est la différence entre «décision» et «vérification» dans la théorie de la complexité?

Dans la théorie de calcul de Michael Sipser à la page 270, il écrit: P = la classe de langues dont l'adhésion peut être décidée rapidement. NP = la classe de langues dont l'appartenance peut être vérifiée rapidement. Quelle est la différence entre «décidé» et «vérifié»?

16 complexity-theory terminology decision-problem

Questions marquées «terminology»