2647 search results - page 77 / 530 » Solving Term Inequalities |
121
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
The paper deals with on-board planning for a satellite swarm via communication and negotiation. We aim at defining individual behaviours that result in a global behaviour that me...
129
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
112
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we propose a novel message-passing algorithm, the so-called Action-GDL, as an extension to the Generalized Distributive Law algorithm (GDL) [1] to efficiently solve...
116
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
This paper uses an entertaining student "sports" game to illustrate that GAs can be adapted to problems with uncertain properties and complexity. These problems can be s...
109
click to vote
TSMC
2002
15 years 3 months ago
2002
In this paper, a learning-based feedforward term is developed to solve a general control problem in the presence of unknown nonlinear dynamics with a known period. Since the learn...