Entry Joan-Arinyo:1999:CCE from tog.bib

Last update: Sat Sep 5 02:07:01 MDT 2009                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Joan-Arinyo:1999:CCE,
  author =       "R. Joan-Arinyo and A. Soto-Riera",
  title =        "Combining constructive and equational geometric
                 constraint-solving techniques",
  journal =      j-TOG,
  volume =       "18",
  number =       "1",
  pages =        "35--55",
  month =        jan,
  year =         "1999",
  bibdate =      "Fri Jun 4 06:15:34 MDT 1999",
  bibsource =    "http://www.acm.org/pubs/toc/",
  URL =          "http://www.acm.org:80/pubs/citations/journals/tog/1999-18-1/p35-joan-arinyo/",
  abstract =     "In the past few years, there has been a strong trend
                 towards developing parametric, computer-aided design
                 systems based on geometric constraint solving. An
                 effective way to capture the design intent in these
                 systems is to define relationships between geometric
                 and technological variables. In general, geometric
                 constraint solving including functional relationships
                 requires a general approach and appropriate techniques
                 to achieve the expected functional capabilities. This
                 work reports on a hybrid method that combines two
                 geometric constraint solving techniques: constructive
                 and equational. The hybrid solver has the capability of
                 managing functional relationships between dimension
                 variables and variables representing conditions
                 external to the geometric problem. The hybrid solver is
                 described as a rewriting system and is shown to be
                 correct.",
  acknowledgement = ack-nhfb,
  keywords =     "design",
  subject =      "{\bf F.2.2} Theory of Computation, ANALYSIS OF
                 ALGORITHMS AND PROBLEM COMPLEXITY, Nonnumerical
                 Algorithms and Problems, Geometrical problems and
                 computations. {\bf I.2.3} Computing Methodologies,
                 ARTIFICIAL INTELLIGENCE, Deduction and Theorem Proving.
                 {\bf I.3.5} Computing Methodologies, COMPUTER GRAPHICS,
                 Computational Geometry and Object Modeling. {\bf J.6}
                 Computer Applications, COMPUTER-AIDED ENGINEERING.",
}

Related entries