5 papers:
- ICPR-2012-TianC #image #video
- Bayesian image enlargement for mixed-resolution video (JT, LC), pp. 3082–3085.
- IJCAR-2012-Matiyasevich #automation #reasoning
- Enlarging the Scope of Applicability of Successful Techniques for Automated Reasoning in Mathematics (YM), p. 9.
- DAC-2011-LinH #satisfiability #using
- Using SAT-based Craig interpolation to enlarge clock gating functions (THL, CY(H), pp. 621–626.
- CAV-2005-GeeraertsRB #performance
- Expand, Enlarge and Check... Made Efficient (GG, JFR, LVB), pp. 394–407.
- HCI-ACS-1993-CockeWA #health #modelling #physics
- Models of Job Enlargement Tested and Evaluated from the Point of View of Physical Health and Job Satisfaction (BC, GW, EÅ), pp. 845–850.