Recherche

Voici les résultats de votre recherche. Si vous n'avez pas trouvé ce que vous cherchiez, vous pouvez créer ou modifier la page correspondante à votre requête en cliquant sur le bouton approprié.

Résultats


III. Traduction dirigée par le syntaxe: 11 Occurrences trouvées
rammaire un appel à une fonction d'écriture. === Exemple : notation polonaise inversée === Pour traduire ... re "+"} * id {écrire "c"}{écrire "*"} | Un autre exemple de grammaire, où les actions sont placées au mili... nt __**tous les attributs sont synthétisés**__. Exemple (calculette de poche). Pour traduire une expressi... iffre {I.val = valeur(chiffre) | <pagebreak> == Exemple == Traduction de ''12 + 3 * 5 '' chiffre ch
Structures de données: 8 Occurrences trouvées
s entiers sont un cas particulier). ==== Premier exemple (sans récursion) ==== Inductive mois : Set := ... on, il faut traiter chaque constructeur. Voici un exemple de définition d'une fonction par filtrage. Par co... ssocié à chaque défi nition inductive. === Autre exemple: les listes === ^ Coq ^ ... end. ==== Fonction récursive: point fi xe ==== Exemple. Addition des entiers naturels: Fixpoint plus
TPMovie (Projet): 7 Occurrences trouvées
tre les 2 notes soit inférieure ou égale à 2. Par exemple, si U1 et U2 ont noté le même film F, mais que U1... ile, juste sur une ou deux années (2007-2010, par exemple). * variante : fragmenter par Rating (en plus... C'est très arbitraire. Des possibilités sont, par exemple * tranche d'âge : pour avoir des groupes homo... tranche d'age. * compteurs (blocs de 200k par exemple) : on n'a pas de raison hormis la répartition, on
Conception de BD réparties et requêtes: 6 Occurrences trouvées
====== > [[fouille_dist_tp|]] ===== Préambule : Exemple Netflix ===== * [[http://www.scribd.com/doc/40... locales existantes * services de mash-up, par exemple * pas le sujet du jour aujourd'hui === Conce... rentielle ==== Fragmentation Verticale ==== * exemple : ''sdss sky server'' * Fragments définis par p... ne optimisation avec le schéma d'allocation. === Exemple d'évaluation simple === | ''select A from R wher
Arbres de Décision: 5 Occurrences trouvées
discrètes à prédire. ==== Représentation ==== Exemple d'arbre de décision select ciel case sole... tion pour faire une bonne prédiction. Dans notre exemple, nous avons 9 V et 5 F : <jsm>-\frac{9}{14} \log ... significative?) : si chaque feuille a un cas, par exemple, on n'a qu'une énumération de cas particuliers! ... continues === En faire un attribut discret. Par exemple, pour la température, grouper les températures en
II. Sémantique d'un langage de programmation: 5 Occurrences trouvées
inant les dénotations de ses constituants. ==== Exemple ==== Considérons le langage des chiffres binaire... ]_{nat} + \left[\!| b |\!\right]_{bin}</jsm> === Exemple === <jsmath> \begin{eqnarray} \left[\!| 1 0 1 |\... & = & 5 \end{eqnarray} </jsmath> ==== fin de l'exemple ==== L'intérêt de la sémantique dénotationnelle ... nsi vraie pour tout ''n'' de ''nat''. ==== Autre exemple de preuve par induction ==== Considérons une fon
Spécification Algébrique: 5 Occurrences trouvées
s S<sub>i=0..n</sub> sont des sortes. !! Voici l'exemple d'une signature en vue de spécifier le type des p... .. S<sub>n</sub>'' respectivement. !! Voici un exemple de terme de sorte Stack (telle que définit ci-des... * à chaque sorte S un ensemble bien connu (exemple, un ensemble mathématique) appelé **ensemble supp... : | Nat*Nat | -> Bool | Une Σ-algèbre est par exemple l'algèbre ''Num'' définie par * à la sorte Nat
Sémantique des Programmes Récursifs: 5 Occurrences trouvées
opération, le cas de récursivité terminale. ==== Exemple ==== Cas particulier de récursivité terminale. ... == Application aux Programmes Récursifs ==== === Exemple === Sémantique du programme de calcul de factori... i:=i+1; f:=f*i; } return f === Autre exemple === Sémantique due programme du calcul du pgcd. ... e type liste pour se concentrer sur le problème. Exemple : concaténation de deux listes, exprimée par un p
Fondements de la programmation: 5 Occurrences trouvées
oduction d'un modèle de raisonnement adapté. === Exemple === * Problème : "trouver le nombre d'occurren... ocesseur sur des données rangées en mémoire. === Exemple === * Problème (ou énoncé descriptif) : suppre... é supprimé Cet énoncé est imprécis. On peut, par exemple, préciser que le tableau ''u'' aura les mêmes élé... mmera //décale// est quasiment la même que dans l'exemple précédent: | decale(0) = | 1 si ''t[0] = x''\\
Raffinement de Programmes: 4 Occurrences trouvées
. !! La propriété de satisfaction peut être par exemple * __la correction partielle__. * <jsm>P \s... tion par la relation de raffinement ==== Voici un exemple de simplification par la relation de raffinement ... Raffinement assurant la terminaison ==== Voici un exemple d'un programme P qui peut ne pas terminer, et son... n de programme à partir d'une spécification. Par exemple, ça peut s'opérer par la composition séquentielle
VI. Optimisation du Code Intermédiaire: 4 Occurrences trouvées
sations nécessitent des analyses préalables : par exemple, pour optimiser les boucles il faut d'abord les d... pour calculer une expression arithmétique. === Exemple === Etudions le graphe de flot de contrôle pour ... expression doit être représentée plusieurs fois. Exemple : arbre de syntaxe et DAG pour ''b*c+c*b'' ... sort les opérations couteuse de la boucle === Exemple Compréhensif === Retour sur le produit scalaire,
Les projets SI: 4 Occurrences trouvées
s techniques. ==== Les activités de validation - exemple de l'industrie pharma ==== Qualité d'un système... Le plan de validation décrit le périmètre (par exemple interfaces inclus ou non) et tous les critères pa... en fonction de l'avancement de la conception: par exemple pour "abandonner" des besoins ou les différer (ve... faire évoluer ces version lors des modification. Exemple de pratiques à risque Version existante : v1.0
I. Machines de Turing: 4 Occurrences trouvées
\{ q_0 \right\} \right) \$ pour la machine de cet exemple, où * \$q_0\$ est l'état initial (et final),... Turing ==== {{page>c_et_c_def_1&nofooter}} === Exemple === * \$ K=\left\{s, q, h \right\} \$ * \$ \... effacer l'emplacement courant et se déplacer, par exemple, on fait * lecture d'un ''a'' => efface ''a'' ... ght) \$ | {{page>c_et_c_def_2&nofooter}} === Exemple === {{page>c_et_c_def_3&nofooter}} === Calcul
III. Preuves de correction des programmes: 4 Occurrences trouvées
e à démontrer une propriété de ce programme. === Exemple === Considérons le programme trivial ''x:=1''. S... ences de x ont été substituées par ''exp''. * exemple : ''{1>0} x:=1 {x>0} '' est un axiome * Axiome ... , {p'} A {q'}, q' => q * => {p} A {q} * exemple : puisque ''vrai'' => 1>0 et {1>0} x:=1 {x>0} est... état mémoire résultant de l'exécution de P. ==== Exemple ==== ^ Démonstration du théorème : ^^ | {x≥0 ∧
Tutoriel d'exploration de données: 4 Occurrences trouvées
Projet Tondeuse: 4 Occurrences trouvées
Close by One: 3 Occurrences trouvées
Introduction: 3 Occurrences trouvées
Définitions: 3 Occurrences trouvées
Logique Equationnelle: 3 Occurrences trouvées
Classification non-supervisé: 3 Occurrences trouvées
Sémantique d'une Spécification: 3 Occurrences trouvées
Génération de code intermédiaire: 3 Occurrences trouvées
Réseaux de Neurones: 3 Occurrences trouvées
Applications Distribuées: 2 Occurrences trouvées
Currification: 2 Occurrences trouvées
V. Gestion de la table des symboles: 2 Occurrences trouvées
SLR (suite): 2 Occurrences trouvées
Preuves de correction (suite): 2 Occurrences trouvées
Applications: 2 Occurrences trouvées
II. Indécidabilité: 2 Occurrences trouvées
II.4 Problèmes Indécidables: 2 Occurrences trouvées
Analyse Syntaxique (2): 2 Occurrences trouvées
Analyse Syntaxique: 2 Occurrences trouvées
Analyse Lexicale: 2 Occurrences trouvées
Normes et Réglementations: 2 Occurrences trouvées
Topologie digitale: 2 Occurrences trouvées
CbO : Déroulement sur un exemple: 2 Occurrences trouvées
I.3 Fonctions Récursives: 2 Occurrences trouvées
Codes Circulaires: 2 Occurrences trouvées
Format Fichier CSV: 2 Occurrences trouvées
Les Systèmes en Production: 1 Occurrences trouvées
Échelonnement Multidimensionnel: 1 Occurrences trouvées
"Applications distribuées": 1 Occurrences trouvées
Complexité et Calculabilité: 1 Occurrences trouvées
Création de Types: 1 Occurrences trouvées
Réunion du 20 décembre 2010: 1 Occurrences trouvées
Enoncé: 1 Occurrences trouvées
Rappels Coq: 1 Occurrences trouvées
Easea: 1 Occurrences trouvées
Analyse Descendante: 1 Occurrences trouvées
Election dans un graphe quelconque: 1 Occurrences trouvées
Interrogation écrite: 1 Occurrences trouvées
Composition de Machines de Turing: 1 Occurrences trouvées
Grammaires Générales: 1 Occurrences trouvées
Travail Encadré de Recherche: 1 Occurrences trouvées
Raisonner pour programmer: 1 Occurrences trouvées
Qu'est une Image: 1 Occurrences trouvées
Motifs Biologiques: 1 Occurrences trouvées
Automates de Localisation: 1 Occurrences trouvées
Automate (ou machine) à états finis: 1 Occurrences trouvées
Algorithmique avancée: 1 Occurrences trouvées
IV. Raffinement de Programmes: 1 Occurrences trouvées