Sciweavers

5756 search results - page 813 / 1152
» Describing Objects by their Attributes
Sort
View
BILDMED
2009
134views Algorithms» more  BILDMED 2009»
15 years 8 months ago
A Porcine Liver Model for Validation of Registration Accuracy in Image-Guided Surgery
Correct registration between pre-operative high-resolution images and intra-operative data of lower detail is a fundamental requirement in image-guided liver surgery. We propose a ...
Matthias Peterhans, Benoît Dagon, Anne Vom B...
FUNGAMES
2008
15 years 7 months ago
Pervasive Mobile Games - A New Mindset for Players and Developers
Pervasive games are an emerging new game genre, which includes context information as an integral part of the game. These games differ from traditional games in that they expand sp...
Hannu Korhonen, Hannamari Saarenpää, Jan...
GECCO
2008
Springer
139views Optimization» more  GECCO 2008»
15 years 7 months ago
Behavior-based speciation for evolutionary robotics
This paper describes a speciation method that allows an evolutionary process to learn several robot behaviors using a single execution. Species are created in behavioral space in ...
Leonardo Trujillo, Gustavo Olague, Evelyne Lutton,...
GECCO
2008
Springer
131views Optimization» more  GECCO 2008»
15 years 7 months ago
Multiobjective evolution of a fuzzy controller in a sewage treatment plant
This paper describes the use of a multi-objective evolution strategy in tuning a fuzzy controller which is used in sewage treatment plants. The controller adjusts the oxygenation ...
Patrick O. Stalph, Marc Ebner, Martin Michel, Bern...
JTRES
2010
ACM
15 years 7 months ago
Static checking of safety critical Java annotations
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
Daniel Tang, Ales Plsek, Jan Vitek