1888 search results - page 307 / 378 » Proof theory and computational analysis |
153
Voted
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
In evolutionary algorithms, the typical post-processing phase involves selection of the best-of-run individual, which becomes the final outcome of the evolutionary run. Trivial f...
147
click to vote
SIGECOM
2010
ACM
15 years 6 months ago
2010
ACM
In the traditional voting manipulation literature, it is assumed that a group of manipulators jointly misrepresent their preferences to get a certain candidate elected, while the ...
162
click to vote
AI
2005
Springer
15 years 5 months ago
2005
Springer
A theoretical framework for grounding language is introduced that provides a computational path from sensing and motor action to words and speech acts. The approach combines conce...
140
click to vote
SP
2002
IEEE
15 years 5 months ago
2002
IEEE
A suite of scalable atomistic simulation programs has been developed for materials research based on space-time multiresolution algorithms. Design and analysis of parallel algorit...
155
click to vote
ISVD
2010
IEEE
15 years 4 months ago
2010
IEEE
—In this paper, we present a Delaunay refinement algorithm for meshing 3D medical images. We prove that (a) all the tetrahedra of the output mesh have radius-edge ratio less tha...