Sciweavers

3172 search results - page 334 / 635
» New developments of the Z-EDM algorithm
Sort
View
ATAL
2005
Springer
16 years 5 days ago
A negotiation model for autonomous agents: key features and comparison with existing models
This paper presents the key features of a new negotiation model for autonomous agents. The model is generic, handles multi-party and multi-issue negotiation, acknowledges the role...
Fernando Lopes, Augusto Q. Novais, Nuno J. Mamede,...
GECCO
2005
Springer
120views Optimization» more  GECCO 2005»
16 years 4 days ago
Using predators and preys in evolution strategies
This poster presents an evolution strategy for single- and multi-objective optimization. The model uses the predatorprey approach from ecology to scale between both cases. Further...
Karlheinz Schmitt, Jörn Mehnen, Thomas Michel...
PPDP
2005
Springer
16 years 3 days ago
Heuristics, optimizations, and parallelism for protein structure prediction in CLP(FD)
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
Alessandro Dal Palù, Agostino Dovier, Enric...
CIS
2004
Springer
16 years 19 hour ago
Automatic Segmentation Technique Without User Modification for 3D Visualization in Medical Images
Abstract. It is necessary to analyze an image from CT or MR and then to segment an image of a certain organ from that of other tissues for 3D (ThreeDimensional) visualization. Ther...
Won Seong, Eui-Jeong Kim, Jong-Won Park
DIAGRAMS
2004
Springer
16 years 16 hour ago
Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
Jean Flower, Judith Masthoff, Gem Stapleton