988 search results - page 31 / 198 » Pseudo-Genetic Algorithmic Composition |
ATVA
2010
Springer
13 years 8 months ago
2010
Springer
In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented t...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
In this paper, we consider the problem of compositing a scene from multiple images. Multiple images, for example, can be obtained by varying the exposure of the camera, by changin...
WEBDB
2005
Springer
14 years 1 months ago
2005
Springer
Nonrecursive XQuery is known to be hard for nondeterministic exponential time. Thus it is commonly believed that any algorithm for evaluating XQuery has to require exponential amo...
ICWS
2009
IEEE
13 years 5 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...
ICML
2008
IEEE
14 years 8 months ago
2008
IEEE
The Support Vector Machine (SVM) is an acknowledged powerful tool for building classifiers, but it lacks flexibility, in the sense that the kernel is chosen prior to learning. Mul...