457 search results - page 6 / 92 » Distributed verification with LoLA |
138
Voted
DALT
2004
Springer
15 years 6 months ago
2004
Springer
Systems of autonomous agents providing automated services over the Web are fast becoming a reality. Often these agent systems are constructed using procedural architectures that pr...
IJCAI
2007
15 years 4 months ago
2007
99
Voted
DBSEC
2004
15 years 4 months ago
2004
109
Voted
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract-- Formation control experiments are performed using two robots, each equipped with a camera. When both robots are fully informed of the reference velocity, a decentralized...
92
Voted
GLOBECOM
2008
IEEE
15 years 3 months ago
2008
IEEE
