Geometric constraint graphs decomposition based on computing graph circuits
Carregant...
Fitxers
El pots comprar en digital a:
El pots comprar en paper a:
Títol de la revista
ISSN de la revista
Títol del volum
Col·laborador
Editor
Tribunal avaluador
Realitzat a/amb
Tipus de document
Text en actes de congrés
Data publicació
Editor
East China Normal University
Condicions d'accés
Accés obert
item.page.rightslicense
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització de la persona titular dels drets
Publicacions relacionades
Datasets relacionats
Projecte CCD
Abstract
Geometric constraint solving is a growing field which plays a paramount role in industrial applications and that is deeply rooted in automated deduction in geometry. In this work we report on an algorithm to solve geometric constraint-based problems by decomposing biconnected graphs. The algorithm is based on recursively splitting the graph through sets with three vertices located on fundamental circuits of the graph. Preliminary practical experiments suggest that the algorithm runtime is at worst quadratic with the total number of vertices in the graph.
Descripció
Persones/entitats
Document relacionat
Versió de
Citació
Joan-Arinyo, R.; Tarres, M.; Vila, S. Geometric constraint graphs decomposition based on computing graph circuits. A: Automated Deduction in Geometry. "Automated Deduction in Geometry". Shanghai: East China Normal University, 2008, p. 96-101.
Ajut
Forma part
DOI
Dipòsit legal
ISBN
ISSN
Versió de l'editor
Altres identificadors
Referències
Col·leccions
Altres - Enviament des de DRAC
Departament de Disseny i Programació de Sistemes Electrònics (fins octubre 2015) - Ponències/Comunicacions de congressos
Departament de Ciències de la Computació - Ponències/Comunicacions de congressos
GIE - Grup d'Informàtica en l'Enginyeria - Ponències/Comunicacions de congressos
Departament de Disseny i Programació de Sistemes Electrònics (fins octubre 2015) - Ponències/Comunicacions de congressos
Departament de Ciències de la Computació - Ponències/Comunicacions de congressos
GIE - Grup d'Informàtica en l'Enginyeria - Ponències/Comunicacions de congressos

