Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Thomas Bellet"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 48, Iss Proc. TERMGRAPH 2011, Pp 20-37 (2011)
The context of this paper is the use of formal methods for topology-based geometric modelling. Topology-based geometric modelling deals with objects of various dimensions and shapes. Usually, objects are defined by a graph-based topological data stru
Externí odkaz:
https://doaj.org/article/c58a6cfa142a49f6a18d4ae0bccba156
Publikováno v:
Mathematical Structures in Computer Science. 32:300-347
Labeled graphs are particularly well adapted to represent objects in the context of topology-based geometric modeling. Thus, graph transformation theory is used to implement modeling operations and check their consistency. This article defines a clas
Publikováno v:
International Conference on Graph Transformation ICGT 2017
International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩
Graph Transformation ISBN: 9783319614694
ICGT
International Conference on Graph Transformation ICGT 2017, Jul 2017, Marburg, Germany. pp.36-53, ⟨10.1007/978-3-319-61470-0_3⟩
Graph Transformation ISBN: 9783319614694
ICGT
In the context of topology-based geometric modeling, operations transform objects regarding both their topological structure (i.e. cell subdivision: vertex, edge, face, etc.) and their embeddings (i.e. relevant data: vertex positions, face colors, vo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04756ed19491c7d27cd9c525f84f5d51
https://hal.archives-ouvertes.fr/hal-01817827
https://hal.archives-ouvertes.fr/hal-01817827
Publikováno v:
[Research Report] XLIM. 2017
HAL
HAL
As labeled graphs are particularly well adapted to represent objects in the context of topology-based geometric modeling, graph transformation theory is an adequate framework to implement modeling operations and check their consistency. In this artic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::b7bde5f973766551fe6998d0781b8080
https://hal.archives-ouvertes.fr/hal-01476860
https://hal.archives-ouvertes.fr/hal-01476860
Publikováno v:
[Research Report] Xlim UMR CNRS 7252; CentraleSupélec, Université Paris-Saclay. 2017
HAL
HAL
In the context of topology-based geometric modeling, operations transform objects regarding both their topological structure (i.e. cell subdivision: vertex, edge, face, etc.) and their embeddings (i.e. relevant data: vertex positions, face colors, vo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fa94aaef753ed1c8f754bfeea21652e6
https://hal.archives-ouvertes.fr/hal-01509832
https://hal.archives-ouvertes.fr/hal-01509832
Publikováno v:
Lecture Notes in Computer Science
7th International Conference on Graph Transformation (ICGT 2014)
7th International Conference on Graph Transformation (ICGT 2014), Jul 2014, York, United Kingdom. ⟨10.1007/978-3-319-09108-2_18⟩
International Conference on Graph Transformations
International Conference on Graph Transformations, Holger Giese, Barbara König, Jul 2014, York, United Kingdom. ⟨10.1007/978-3-319-09108-2_18⟩
Graph Transformation ISBN: 9783319091075
ICGT
7th International Conference on Graph Transformation (ICGT 2014)
7th International Conference on Graph Transformation (ICGT 2014), Jul 2014, York, United Kingdom. ⟨10.1007/978-3-319-09108-2_18⟩
International Conference on Graph Transformations
International Conference on Graph Transformations, Holger Giese, Barbara König, Jul 2014, York, United Kingdom. ⟨10.1007/978-3-319-09108-2_18⟩
Graph Transformation ISBN: 9783319091075
ICGT
International audience; Many software systems have to deal with the representation and the manipulation of geometric objects: video games, CGI movie effects, computer-aided design, computer simulations... All these softwares are usually implemented w
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b75c5fd491dc1822718a160d683af3fa
https://hal.archives-ouvertes.fr/hal-01012851
https://hal.archives-ouvertes.fr/hal-01012851
Publikováno v:
TERMGRAPH
Electronic Proceedings in Theoretical Computer Science, Vol 48, Iss Proc. TERMGRAPH 2011, Pp 20-37 (2011)
Electronic Proceedings in Theoretical Computer Science, Vol 48, Iss Proc. TERMGRAPH 2011, Pp 20-37 (2011)
The context of this paper is the use of formal methods for topology-based geometric modelling. Topology-based geometric modelling deals with objects of various dimensions and shapes. Usually, objects are defined by a graph-based topological data stru
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::db78528bde33f38f61f00f9c2f38b265
http://arxiv.org/abs/1102.2652
http://arxiv.org/abs/1102.2652
Publikováno v:
Shape Modeling International (SMI'10)
Shape Modeling International (SMI'10), Jun 2010, Aix-en-Provence, France
Shape Modeling International
Shape Modeling International (SMI'10), Jun 2010, Aix-en-Provence, France
Shape Modeling International
In this article, we present a rule-based language dedicated to topological operations and based on graph transformations. Generalized maps are described as a particular class of graphs determined by consistency constraints. Hence, topological operati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::80151dfd438fd3e9859e5322f692f7a6
https://hal.archives-ouvertes.fr/hal-00488171
https://hal.archives-ouvertes.fr/hal-00488171
Publikováno v:
22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009)
22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009), Nov 2009, Arles, France
HAL
Revue Electronique Francophone d'Informatique Graphique
Revue Electronique Francophone d'Informatique Graphique, Association Française d'Informatique Graphique, 2010, 4 (1), http://www.irit.fr/REFIG/index.php/refig/article/view/77
22es Journées de l'Association Francophone d'Informatique Graphique, chapitre français d'Eurographics (AFIG 2009), Nov 2009, Arles, France
HAL
Revue Electronique Francophone d'Informatique Graphique
Revue Electronique Francophone d'Informatique Graphique, Association Française d'Informatique Graphique, 2010, 4 (1), http://www.irit.fr/REFIG/index.php/refig/article/view/77
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é
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::3cc2ea00fb165117246f8163f3db4622
https://hal.archives-ouvertes.fr/hal-00488533
https://hal.archives-ouvertes.fr/hal-00488533
Publikováno v:
HAL
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL)
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2012, Grenoble, France
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL)
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jan 2012, Grenoble, France
National audience; Dans le cadre de la modélisation géométrique, chaque domaine d'application nécessite des logiciels spécifiques, appelés modeleurs. Leurs structures de données sont optimisées en fonction des objets manipulés, et leurs opé
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8d6774c5a7d3c26b4b97ec702fe17357
https://hal.archives-ouvertes.fr/hal-00936743
https://hal.archives-ouvertes.fr/hal-00936743