Essays about: "Anders Steen"
Found 2 essays containing the words Anders Steen.
-
1. Realism of Procedural Lichens on Horizontal Stone Surfaces : Simulation and evaluation of lichens
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : Humans use creativity and manual dexterity to create things, usually in a labor-intensive process. Procedural content generation (PCG) is an approach where computers do most of the manual work of creating virtual objects, while a human leads the creative process. READ MORE
-
2. Evaluating the utility of a contract compositionality proof framework
University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)Abstract : A contract in system design is a concept used for specifying behaviors of and interactions between components in complex systems. Contracts make explicit the mutual commitments between components in a system. Nyberg et al propose a contracts theory and framework for proving the correctness of a decomposition of a system specification. READ MORE