1033 search results - page 39 / 207 » Properties of Exercise Strategies |
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— We propose an approach for acquiring geometric 3D models using cameras mounted on autonomous vehicles and robots. Our method uses structure from motion techniques from computer...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Initial-state opacity emerges as a key property in numerous security applications of discrete event systems including key-stream generators for cryptographic protocols. Speciï¬...
ICMCS
2006
IEEE
15 years 4 months ago
2006
IEEE
Various error control schemes have been addressed in wireless video stream transmission. By combining an adaptive binary arithmetic coding technique with context modeling, CABAC a...
CSB
2005
IEEE
15 years 3 months ago
2005
IEEE
With hierarchical clustering methods, divisions or fusions, once made, are irrevocable. As a result, when two elements in a bottom-up algorithm are assigned to one cluster, they c...
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...