1403 search results - page 110 / 281 » On Communication in Solving Distributed Constraint Satisfact... |
GLOBECOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—The throughput of multi-hop communication systems can significantly be increased by the application of MIMO concepts. To utilize the physical resources in an efficient...
103
click to vote
CEC
2010
IEEE
14 years 1 months ago
2010
IEEE
—Mobile cooperative sensor networks are increasingly used for surveillance and reconnaissance tasks to support domain picture compilation. However, efficient distributed informat...
ICTAI
2005
IEEE
15 years 3 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— This work proposes a control algorithm to stabilize a circular formation of AUVs tracking a time-varying center. We also consider the problem of uniform distribution of all the...
SAS
2007
Springer
15 years 4 months ago
2007
Springer
Type constraints express subtype-relationships between the types of program expressions that are required for type-correctness, and were originally proposed as a convenient framewo...