Semiring-based constraint satisfaction and optimization
β Scribed by Bistarelli, Stefano; Montanari, Ugo; Rossi, Francesca
- Book ID
- 121423927
- Publisher
- Association for Computing Machinery
- Year
- 1997
- Tongue
- English
- Weight
- 478 KB
- Volume
- 44
- Category
- Article
- ISSN
- 0004-5411
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
The numerical approach to solving geometric constraint problems is indispensable for building a practical CAD system. The most commonly-used numerical method is the Newton-Raphson method. It is fast, but has the instability problem: the method requires good initial values. To overcome this problem,
Coordination in Reo emerges from the composition of the behavioural constraints of primitives, such as channels, in a component connector. Understanding and implementing Reo, however, has been challenging due to the interaction of the channel metaphor, which is an inherently local notion, and the no