• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium:
    
    • Online (3)
  • 
    Type:
    
    • Article (3)
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Hits 1 – 3 of 3 1 Préservation de la cohérence des transformations topologiques et géométriques Gauthier, Valentin; Bellet, Thomas; Belhaouari, Hakim... In: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016) ; https://hal.archives-ouvertes.fr/hal-01817884 ; 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France (2016) BASE Show details 2 JERBOA : un modeleur géométrique à base de règles Bellet, Thomas; Arnould, Agnès; Le Gall, Pascale In: Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL) ; https://hal.archives-ouvertes.fr/hal-00936743 ; Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2012, Grenoble, France (2012) BASE Show details 3 Transformations de graphes pour les opérations topologiques en modélisation géométrique Poudret, Mathieu; Bellet, Thomas; Arnould, Agnès; Le Gall, Pascale In: 22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009) ; https://hal.archives-ouvertes.fr/hal-00488533 ; 22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009), Nov 2009, Arles, France (2009) Abstract: 2ème prix du meilleur article jeunes chercheurs ; Cet article propose une approche formelle de la modélisation géométrique à base topologique. Nous proposons un langage graphique qui permet de définir les opérations topologiques des cartes généralisées par des règles. Notre langage est fondé sur la théorie des transformations de graphes. Nous enrichissons les règles classiques par des variables qui abstraient les cellules topologiques (arêtes, faces, volumes, etc.). Nous proposons également des critères syntaxiques qui garantissent la préservation des contraintes de cohérence des cartes généralisées. Enfin, nous présentons succinctement le prototype de modeleur que nous avons développé afin de valider notre approche. Keyword: [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; modeleur générique; Modélisation géométrique à base topologique; transformation de graphes; transformation topologique URL: https://hal.archives-ouvertes.fr/hal-00488533 BASE Hide details

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 3 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0