Carving Prior Manifolds Using Inequalities | IEEE Conference Publication | IEEE Xplore