Sciweavers

2647 search results - page 177 / 530
» Solving Term Inequalities
Sort
View
ATAL
2005
Springer
16 years 2 days ago
Coordinated exploration of unknown labyrinthine environments applied to the pursuit evasion problem
This paper introduces a multi-robot cooperation approach to solve the pursuit evasion problem for mobile robots that have omnidirectional vision sensors in unknown environments. T...
Damien Pellier, Humbert Fiorino
ATAL
2005
Springer
16 years 2 days ago
Negotiation mechanism for TAC SCM component market
This paper presents a new negotiation mechanism and a new supplier model for Trading Agent Competition Supply Chain Management(TAC SCM). Under the new negotiation mechanism, an ag...
Dongmo Zhang
CCS
2005
ACM
16 years 2 days ago
Deciding security of protocols against off-line guessing attacks
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
Mathieu Baudet
GECCO
2005
Springer
128views Optimization» more  GECCO 2005»
16 years 2 days ago
Hybrid multiobjective genetic algorithm with a new adaptive local search process
This paper is concerned with a specific brand of evolutionary algorithms: Memetic algorithms. A new local search technique with an adaptive neighborhood setting process is introdu...
Salem F. Adra, Ian Griffin, Peter J. Fleming
GECCO
2005
Springer
128views Optimization» more  GECCO 2005»
16 years 2 days ago
Fitness-based neighbor selection for multimodal function optimization
We propose a selection scheme called Fitness-based Neighbor Selection (FNS) for multimodal optimization. The FNS is aimed for ill-scaled and locally multimodal domain, both found ...
Shin Ando, Shigenobu Kobayashi