1119 search results - page 96 / 224 » On the Invariance of Ant System |
CSFW
1999
IEEE
15 years 2 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
RSS
2007
14 years 11 months ago
2007
— In this paper a new leader-follower formation of nonholonomic mobile robots is studied. The follower is a car-like vehicle and the leader is a tractor pulling a trailer. The le...
GECCO
2007
Springer
15 years 4 months ago
2007
Springer
This research uses a Design of Experiments (DOE) approach to build a predictive model of the performance of a combinatorial optimization heuristic over a range of heuristic tuning...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
CDC
2009
IEEE
14 years 7 months ago
2009
IEEE
We consider a network of control systems connected over a graph. Considering the graph structure as constraints on the set of permissible controllers, we show that such systems ar...