Sciweavers

5799 search results - page 270 / 1160
» Position Paper
Sort
View
GECCO
2004
Springer
15 years 9 months ago
Crossover, Population Dynamics, and Convergence in the GAuGE System
This paper presents a study of the effectiveness of a recently presented crossover operator for the GAuGE system. This crossover, unlike the traditional crossover employed previou...
Miguel Nicolau, Conor Ryan
ICALP
2004
Springer
15 years 9 months ago
Deciding Knowledge in Security Protocols Under Equational Theories
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...
Martín Abadi, Véronique Cortier
ICCHP
2004
Springer
15 years 9 months ago
A Context-Aware Locomotion Assistance Device for the Blind
In this paper, we present a study which aims at designing a locomotion assistance device that can deliver semantic information about its surrounding environment at any time. As a ...
Christophe Jacquet, Yacine Bellik, Yolaine Bourda
CGI
2003
IEEE
15 years 9 months ago
Compressing Texture Coordinates with Selective Linear Predictions
In this paper we describe a strategy for efficient predictive compression of texture coordinates. Previous works in mesh compression often claim that this mesh property can simpl...
Martin Isenburg, Jack Snoeyink
IAT
2003
IEEE
15 years 9 months ago
Discrete Bee Dance Algorithms for Pattern Formation on a Grid
This paper presents a solution to the problem of pattern formation on a grid, for a group of identical autonomous robotic agents, that have very limited communication capabilities...
Noam Gordon, Israel A. Wagner, Alfred M. Bruckstei...