Mostra el registre d'ítem simple
A rule-constructive geometric constraint solver
dc.contributor.author | Joan Arinyo, Robert |
dc.contributor.author | Soto Riera, Antoni |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2016-01-29T14:18:32Z |
dc.date.available | 2016-01-29T14:18:32Z |
dc.date.issued | 1995-01-01 |
dc.identifier.citation | Joan Arinyo, Robert; Soto Riera, Antoni. "A rule-constructive geometric constraint solver". 1995. |
dc.identifier.uri | http://hdl.handle.net/2117/82291 |
dc.description.abstract | This work reports on the implementation of a two-dimensional, variational geometric constraint solver based on a constructive approach. The solver computes a solution in two phases. First, using rewrite rules, the solver builds a sequence of construction steps. Then, the construction steps are carried out to generate an instance of the geometric object for the current dimension values. We discuss some issues concerning the data representation and the rules used. Then a simple example illustrates how the solver works. Finally we give a correctness proof of the solver. |
dc.format.extent | 23 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-95-25-R |
dc.subject | Àrees temàtiques de la UPC::Informàtica |
dc.subject.other | Constraint problem solver |
dc.title | A rule-constructive geometric constraint solver |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 1840917 |
dc.description.version | Postprint (published version) |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [1.107]