3001 search results - page 161 / 601 » Recursive type generativity |
208
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
181
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
Learning models for detecting and classifying object categories is a challenging problem in machine vision. While discriminative approaches to learning and classification have, in...
166
click to vote
FDG
2009
ACM
16 years 27 days ago
2009
ACM
We present a rhythm-based method for the automatic generation of levels for 2D platformers, where the rhythm is that which the player feels with his hands while playing. Levels ar...
144
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
We propose a method for applying genetic algorithms to create 3D terrain data sets. Existing procedural algorithms for generation of terrain have several shortcomings. The most po...
152
click to vote
BC
2008
15 years 6 months ago
2008
The voltage recorded over the cortex (ECoG) or over the scalp (EEG) is generated by currents derived from many sources called "generators". Different patterns and amplit...