834 search results - page 113 / 167 » A Decomposition Technique for Max-CSP |
ISSTA
2010
ACM
13 years 12 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
AAAI
2010
13 years 11 months ago
2010
In cooperative pathfinding problems, non-interfering paths that bring each agent from its current state to its goal state must be planned for multiple agents. We present the first...
GRAPHICSINTERFACE
2007
13 years 11 months ago
2007
Acquired data often provides the best knowledge of a material’s bidirectional reflectance distribution function (BRDF). Its integration into most real-time rendering systems re...
MVA
2007
13 years 11 months ago
2007
Duplication of image regions is a common method for manipulating original images using typical software like Adobe Photoshop. In this study, we propose a wavelet based feature rep...
CEC
2010
IEEE
13 years 10 months ago
2010
IEEE
— Many evolutionary algorithms have been proposed for large scale optimization. Parameter interaction in nonseparable problems is a major source of performance loss specially on ...