Gespeichert in:
Bibliographische Detailangaben
Beteiligte Personen: Veltkamp, Remco C. (VerfasserIn), Arbab, Farhad 1952- (VerfasserIn)
Format: Buch
Sprache:Englisch
Veröffentlicht: Amsterdam 1991
Schriftenreihe:Centrum voor Wiskunde en Informatica <Amsterdam> 91,41
Schlagwörter:
Abstract:Abstract: "This report presents an overview of geometric constraint satisfaction techniques and a new incremental approach that is suitable for interactive design. This approach categorizes solutions into so-called quanta. A quantum is a range of solutions with uniform geometric characteristics. Using this approach a system can keep the intermediate solutions in the geometric domain, so that new geometric constraints can be interpreted on the same high level of abstraction. Propagation of information is performed by 'propagation of known states', and the information itself results from 'solution set inference', where a solution set is represented in geometrical form by unions and intersections of quantum labels
This approach leads to a number of advantages, including graceful handling of under-constrained specifications, the ability to perform satisfaction locally and incrementally, support of constraint inference and geometric reasoning, and preserving the declarative semantics of constraints.
Umfang:24 S. graph. Darst.