Abstract. Propositional satisfiability (SAT) is a success story in Computer Science and Artificial Intelligence: SAT solvers are currently used to solve problems in many different ...
Emanuele Di Rosa, Enrico Giunchiglia, Marco Marate...
The 3D Shape Retrieval Contest 2010 (SHREC'10) on range scan retrieval aims at comparing algorithms that match a range scan to complete 3D models in a target database. The qu...
Helin Dutagaci, Afzal Godil, Chun Pan Cheung, Taka...
If you have ever watched movies or television shows, you know how easy it is to tell the good characters from the bad ones. Little, however, is known “whether” or “how” com...
An optical diffuser is an element that scatters light and is commonly used to soften or shape illumination. In this paper, we propose a novel depth estimation method that places a ...
In this paper we present an interactive method for simulating deformable objects using skeletal constraints. We introduce a two-way coupling of a finite element model and a skelet...
Joachim Georgii, Daniel Lagler, Christian Dick, R&...