The Cassowary linear arithmetic constraint solving algorithm.
Greg J. BadrosAlan BorningPeter J. StuckeyPublished in: ACM Trans. Comput. Hum. Interact. (2001)
Keyphrases
- cost function
- learning algorithm
- constraint solving
- detection algorithm
- linear complexity
- computational complexity
- randomly generated
- hardware implementation
- dynamic programming
- k means
- np hard
- evolutionary algorithm
- preprocessing
- simulated annealing
- contextual information
- segmentation algorithm
- orders of magnitude
- database design
- optimal path