| 1. |
- Bonnel, Nicolas, et al.
(författare)
-
Système de recherche de méthodes Java basé sur leur signature
- 2006
-
Ingår i: 4e Manifestation des Jeunes Chercheurs en Sciences et Technologies de l'Information et de la Communication (MajecSTIC).
-
Konferensbidrag (refereegranskat)abstract
- L’objectif de cet article est de proposer une démarche permettant de mettre en place un moteur de recherche de méthodes au sein d’un langage de programmation. Un tel outil s’avère particulièrement utile aux développeurs. Des solutions ont déjà été proposées mais elles sont pour la plupart basées sur une recherche textuelle, c’est-à-dire uniquement basées sur le contenu textuel de la description des différentes méthodes. Nous proposons dans cet article une nouvelle approche basée sur la signature des méthodes. Le langage utilisé tout au long de cet article est le langage Java.
|
|
| 2. |
|
|
| 3. |
|
|
| 4. |
- Coquand, Thierry, 1961
(författare)
-
Sur un théorème de Kronecker concernant les variétés algébriques : On a theorem of Kronecker about algebraic sets
- 2004
-
Ingår i: Comptes rendus. Mathematique. - : Elsevier BV. - 1631-073X. ; 338:4, s. 291-294
-
Tidskriftsartikel (refereegranskat)abstract
- Résumé Un résultat classique de Kronecker, énoncé à la fin de la Section 10 de Kronecker (J. Reine Angew. Math. 92 (1882) 1–123), est que le radical d'un idéal de type fini dans un anneau de polynômes à n variables est le radical d'un idéal engendré par n+1 éléments. Nous présentons une preuve constructive et élémentaire d'une généralisation de ce théorème due à Heitmann (Michigan Math. J. 31 (1984) (2) 167–180) : dans un anneau de dimension de Krull ⩽n tout radical d'un idéal de type fini est le radical d'un idéal engendré par n+1 éléments. Abstract A classical result of Kronecker, stated at the end of the Section 10 of Kronecker (J. Reine Angew. Math. 92 (1882) 1–123), is that any radical of a finitely generated ideal in a polynomial ring of n variables is the radical of an ideal generated by n+1 elements. We give a constructive and elementary proof of a generalisation presented in (Michigan Math. J. 31 (1984) (2) 167–180): in a ring of Krull dimension ⩽n a radical of a finitely generated ideal is the radical of an ideal generated by n+1 elements.
|
|
| 5. |
- Coquand, Thierry, 1961
(författare)
-
Sur un théorème de Kronecker concernant les variétés algébriques
- 2004
-
Ingår i: Comptes Rendus Mathematique. - : Elsevier BV. - 1631-073X. ; 338:4, s. 291-294
-
Tidskriftsartikel (refereegranskat)abstract
- RésuméUn résultat classique de Kronecker, énoncé à la fin de la Section 10 de Kronecker (J. Reine Angew. Math. 92 (1882) 1–123), est que le radical d'un idéal de type fini dans un anneau de polynômes à n variables est le radical d'un idéal engendré par n+1 éléments. Nous présentons une preuve constructive et élémentaire d'une généralisation de ce théorème due à Heitmann (Michigan Math. J. 31 (1984) (2) 167–180) : dans un anneau de dimension de Krull ⩽n tout radical d'un idéal de type fini est le radical d'un idéal engendré par n+1 éléments.AbstractA classical result of Kronecker, stated at the end of the Section 10 of Kronecker (J. Reine Angew. Math. 92 (1882) 1–123), is that any radical of a finitely generated ideal in a polynomial ring of n variables is the radical of an ideal generated by n+1 elements. We give a constructive and elementary proof of a generalisation presented in (Michigan Math. J. 31 (1984) (2) 167–180): in a ring of Krull dimension ⩽n a radical of a finitely generated ideal is the radical of an ideal generated by n+1 elements.
|
|
| 6. |
|
|
| 7. |
- Creignou, Nadia, et al.
(författare)
-
Complexité de l’argumentation dans le cadredu treillis de Post
- 2010
-
Konferensbidrag (refereegranskat)abstract
- Dans beaucoup de formalisations logiques de l’argumentation un ar-gument est présenté comme une paire (Φ,α), où le support Φ est un sous-ensemble consistant minimal d’une base de connaissances qui implique l’affirmationα. Dans la plupart des scénarii les arguments sont donnés dans le langage completde la logique propositionnelle. Dans un tel contexte le raisonnement est une tâche algorithmique très difficile. Par exemple, décider s’il existe un support pour une affirmation donnée est Σp2-complet. Afin de comprendre ce qui est à la source dela difficulté de ce problème (et d’identifier des fragments résolubles efficacement) nous nous intéressons aux arguments donnés sous la forme de formules propositionnelles dont les connecteurs logiques font partie d’un ensemble de fonctions booléennes donné. Nous considérons quatre problèmes de décision : existe-t-il unsupport pour un argument ? un argument est-il valide ? une formule donnée est-elle pertinente (resp. superflue) dans les prémisses d’un argument ? Nous classifions la complexité de ces problèmes selon tous les ensembles possibles deconnecteurs autorisés.
|
|
| 8. |
|
|
| 9. |
- Le Guernic, Gurvan, et al.
(författare)
-
FL-system’s Intelligent Cache
- 2005
-
Ingår i: Proceedings of Majecstic 2005. ; , s. 79-88
-
Konferensbidrag (refereegranskat)abstract
- Cet article pr´esente une application de techniques issues du g´enie logiciel `a la mod´elisation d’environnements virtuels. Ces derniers, d`es lors qu’ils sont complexes, constituent des masses de donn´ees particuli`erement volumineuses et, de ce fait, difficiles `a manipuler. De plus, les descriptions exhaustives de ces environnements, c’est-`a-dire explicites, sont peu ´evolutives. Pour r´esoudre ces probl`emes, il existe des m´ethodes bas´ees sur des syst`emes de r´e´ecriture permettant de d´ecrire de fac¸on g´en´erique les objets de l’environnement. Chaque objet est ainsi d´ecrit par un axiome qui est r´e´ecrit lors de la g´en´eration de l’environnement. Lors de cette phase, il est fr´equent de retrouver deux s´equences de r´e´ecriture aboutissant `a un mˆeme objet. Il est alors possible d’utiliser un m´ecanisme tel que le cache afin d’am´eliorer les performances en profitant des calculs d´ej`a effectu´es. Cependant, se contenter de mettre en correspondance les noms et param`etres des axiomes n’est pas suffisant pour ´etablir l’ensemble des r´e´ecritures identiques. En effet, les r´e´ecritures d’un mˆeme axiome avec des param`etres effectifs diff´erents peuvent aboutir au mˆeme objet. Le syst`eme propos´e dans cet article effectue une analyse dynamique des r´e´ecritures afin d’am´eliorer les performances du cache en d´etectant de tels cas. La premi`ere partie de cet article pr´esente le syst`eme de r´e´ecriture, la seconde l’analyse utilis´ee, et la derni`ere le m´ecanisme propos´e.
|
|
| 10. |
- Granfeldt, Jonas, et al.
(författare)
-
Évaluation des stades de développement en français langue étrangère
- 2007
-
Ingår i: Actes de la 14e conférence sur le Traitement Automatique des Langues Naturelles. ; 1, s. 357-366
-
Konferensbidrag (refereegranskat)abstract
- Abstract in French Cet article décrit un système pour définir et évaluer les stades de développement en français langue étrangère. L’évaluation de tels stades correspond à l’identification de la fréquence de certains phénomènes lexicaux et grammaticaux dans la production des apprenants et comment ces fréquences changent en fonction du temps. Les problèmes à résoudre dans cette démarche sont triples : identifier les attributs les plus révélateurs, décider des points de séparation entre les stades et évaluer le degré d’efficacité des attributs et de la classification dans son ensemble. Le système traite ces trois problèmes. Il se compose d’un analyseur morphosyntaxique, appelé Direkt Profil, auquel nous avons relié un module d’apprentissage automatique. Dans cet article, nous décrivons les idées qui ont conduit au développement du système et son intérêt. Nous présentons ensuite le corpus que nous avons utilisé pour développer notre analyseur morphosyntaxique. Enfin, nous présentons les résultats sensiblement améliorés des classificateurs comparé aux travaux précédents (Granfeldt et al., 2006). Nous présentons également une méthode de sélection de paramètres afin d’identifier les attributs grammaticaux les plus appropriés.
|
|
