43 search results - page 5 / 9 » Experience-driven procedural content generation (Extended ab... |
ICLP
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
HAIS
2010
Springer
14 years 7 days ago
2010
Springer
Abstract. In remote sensing hyperspectral image processing, identifying the constituent spectra (endmembers) of the materials in the image is a key procedure for further analysis. ...
MVA
2006
13 years 7 months ago
2006
Abstract This work proposes a system for the automatic construction of multi-spectral three-dimensional (3D) models of architecture. Besides the specific application, which concern...
CI
2011
13 years 2 months ago
2011
This paper is focused on how a general-purpose hierarchical planning representation, based on the HTN paradigm, can be used to support the representation of oncology treatment pro...
DAWAK
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. We present a technique for discovering and representing changes between versions of data warehouse structures. We select a tree comparison algorithm, adapt it for the par...