Stem restraint$ (all stems)
3 papers:
- ICPR-v1-2006-TangLFG #automation #image #segmentation
- Automatic Segmentation of the Papilla in a Fundus Image Based on the C-V Model and a Shape Restraint (YT, XL, AvF, GG), pp. 183–186.
- CSL-1990-Habart
- Randomness and Turing Reducibility Restraints (KH), pp. 234–247.
- POPL-1978-CousotH #automation #linear
- Automatic Discovery of Linear Restraints Among Variables of a Program (PC, NH), pp. 84–96.