Sciweavers

2050 search results - page 203 / 410
» constraints 2010
Sort
View
EVOW
2010
Springer
14 years 5 months ago
Towards a Generic Framework for Automated Video Game Level Creation
This paper presents a generative system for the automatic creation of video game levels. Our approach is novel in that it allows high-level design goals to be expressed in a top-do...
Nathan Sorenson, Philippe Pasquier
WEA
2010
Springer
241views Algorithms» more  WEA 2010»
14 years 5 months ago
A Branch-and-Price Algorithm for Multi-mode Resource Leveling
Resource leveling is a variant of resource-constrained project scheduling in which a non-regular objective function, the resource availability cost, is to be minimized. We present ...
Eamonn T. Coughlan, Marco E. Lübbecke, Jens S...
ECCV
2010
Springer
14 years 4 months ago
Building Rome on a Cloudless Day
This paper introduces an approach for dense 3D reconstruction from unregistered Internet-scale photo collections with about 3 million of images within the span of a day on a single...
IEEEARES
2010
IEEE
14 years 4 months ago
Architecture-Aware Adaptive Deployment of Contextual Security Policies
—Deploying a security policy may prove difficult whenever the system does not embed all necessary security functionalities. Some specific functionalities are required to accura...
Stere Preda, Nora Cuppens-Boulahia, Fréd&ea...
STACS
2010
Springer
14 years 3 months ago
Decidability of the Interval Temporal Logic ABB over the Natural Numbers
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
Angelo Montanari, Pietro Sala, Guido Sciavicco