549 search results - page 5 / 110 » formats 2010 |
TIST
2010
14 years 4 months ago
2010
ENTCS
2010
14 years 9 months ago
2010
This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our de...
ATAL
2010
Springer
14 years 10 months ago
2010
Springer
Coalitions and cooperation are key topics in multi
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
— This paper presents a novel approach based on Jacobi shape theory and geometric reduction for formation control of autonomous underwater vehicles (AUVs). We consider a three de...
PODC
2010
ACM
14 years 11 months ago
2010
ACM