1382 search results - page 171 / 277 » Procedural Generation of Roads |
SAS
2005
Springer
15 years 3 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
GISCIENCE
2004
Springer
15 years 3 months ago
2004
Springer
We investigate the understanding of landmarks using a model of embedding procedures that sees affordances established on three levels. On the first level there are landmark experie...
ROBOCUP
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper proposes a new algorithm for the automatic segmentation of motion data from a humanoid soccer playing robot that allows feedforward neural networks to generali...
ICDM
2003
IEEE
15 years 3 months ago
2003
IEEE
The scalability problem in data mining involves the development of methods for handling large databases with limited computational resources. In this paper, we present a two-phase...