Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
In this work we present the Partner Units Problem as a novel challenge for optimization methods. It captures a certain type of configuration problem that frequently occurs in indu...
Markus Aschinger, Conrad Drescher, Gerhard Friedri...
We address the problem of automatically designing maps for first-person shooter (FPS) games. An efficient solution to this procedural content generation (PCG) problem could allow ...
Luigi Cardamone, Georgios N. Yannakakis, Julian To...
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
This paper presents a method for estimating geographic
location for sequences of time-stamped photographs. A
prior distribution over travel describes the likelihood of
traveling...
Evangelos Kalogerakis, Olga Vesselova, James Hays,...