Conference paper
FPGA-based coprocessor for text string extraction
N.K. Ratha, A.K. Jain, et al.
Workshop CAMP 2000
This paper presents a comparatively general method for specifying a 'data constraint' on a parameterized data type (i.e., specifying just which category of algebras it is supposed to be defined or correct on), and shows that there is a simple canonical form for such constraint specifications. We also show how such constraints may be employed to give 'loose' specifications of data types. © 1987.
N.K. Ratha, A.K. Jain, et al.
Workshop CAMP 2000
Raymond Wu, Jie Lu
ITA Conference 2007
J.P. Locquet, J. Perret, et al.
SPIE Optical Science, Engineering, and Instrumentation 1998
Leo Liberti, James Ostrowski
Journal of Global Optimization