Research Reports for 2009
- CSR 1-2009
- The OKlibrary: Introducing a “holistic” research platform for (generalised) SAT solving
Oliver Kullmann
abstract PDF - CSR 2-2009
- Automatic Generation of 3D Caricatures based on Artistic Deformation Styles - A User Study to determine the most intuitive and preferred method for computer-assisted caricature generation
Lyndsey Clarke
abstract PDF -
CSR 1-2009 The OKlibrary: Introducing a “holistic” research platform for (generalised) SAT solving
Oliver Kullmann
The OKlibrary is introduced, an open-source library supporting research and development in the area of generalised SAT-solving, and available at http://www.ok-sat-library.org. We discuss history, motivation and architecture of the library, and outline its current extent. The differences to existing platforms are explained: We understand the approach of the OKlibrary as “holistic”, so that the OKlibrary includes for example not only program code, but also research plans and methods for processing and evaluation of experiments (as well as experimental results themselves). This leads to the understanding of the OKlibrary as an “IRE”, an “integrated research environment” (however not building a single monolithic block, but based on the Unix/Linux tradition of a “tool chest”). “Generalised satisfiability problems” are understood as a generalisation of SAT towards CSP, and we discuss the basic ideas. To conclude we state 10 research problems which we regard as fundamental for advancing core SAT solving.
Report Titles
CSR 2-2009 Automatic Generation of 3D Caricatures based on Artistic Deformation Styles - A User Study to determine the most intuitive and preferred method for computer-assisted caricature generation
Lyndsey Clarke
The focus of my PhD thesis is the automatic generation of 3D caricatures from a single 2D photographic input. Caricatures are traditionally created via the exaggeration of the differences between a subject and an average face. The artist must learn how to determine which features should be exaggerated and which should not, and also the degree to which the exaggeration of each feature should occur. Learning to draw effective caricatures is quite a difficult task which could only realistically be achieved by individuals who possess a certain amount of artistic skill, so it is obviously desirable to develop a means for anybody to be able to create them automatically using a computer. During my PhD I have developed a system which automatically generates caricatures, whilst providing the user with a choice of 4 schemes to use for of controlling the level of exaggeration. These schemes are based on a physically-inspired pseudo stress-strain model, and a user study was conducted with the aim of determining which, if any of the schemes, was most intuitive and entertaining for users to use, when compared to the traditional computer-assisted approach of physically moving the points on the face using a warping tool. This report provides a discussion of the user study that was conducted, and includes a full analysis of the results, which conclude that our initial hypothesis was correct, since our scheme of using elastic material properties to specify the level of exaggeration for a face, in indeed the most intuitive and the preferred method for caricaturisation.
Report Titles