This paper presents a novel approach for creating curvilinear, texture mapped, 3D scene models from a single painting or photograph with no prior internal knowledge about the shap...
A new focus measure system is proposed based on complex wavelet transform and quadrature pair of steerable filters. In shape from focus (SFF), noise, illumination variation and or...
Pankajkumar Mendapara, Aryaz Baradarani, Q. M. Jon...
: In this article we analyze the current state of case-based plan adaptation research. We include the traditional distinction between transformational and derivational analogy but ...
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...