6943 search results - page 430 / 1389 » Representations for evolutionary algorithms |
188
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
Ordinals form the basis for termination proofs in ACL2. Currently, ACL2 uses a rather inefficient representation for the ordinals up to 0 and provides limited support for reasoning...
195
click to vote
ICDT
2007
ACM
15 years 10 months ago
2007
ACM
Uncertain information is commonplace in real-world data management scenarios. The ability to represent large sets of possible instances (worlds) while supporting efficient storage ...
164
click to vote
ESANN
2006
15 years 8 months ago
2006
The training of Emergent Self-organizing Maps (ESOM ) with large datasets can be a computationally demanding task. Batch learning may be used to speed up training. It is demonstrat...
222
click to vote
ECCV
2000
Springer
16 years 8 months ago
2000
Springer
In recent years, the eld of active-contour based image segmentation have seen the emergence of two competing approaches. The rst and oldest approach represents active contours in ...
159
click to vote
ICRA
2005
IEEE
16 years 13 days ago
2005
IEEE
— This paper introduces the multi-robot boundary coverage problem, wherein a group of k robots must inspect every point on the boundary of a 2-dimensional test environment. Using...