3256 search results - page 570 / 652 » Applications of Formal Methods to System Design and Verifica... |
SSS
2009
Springer
15 years 4 months ago
2009
Springer
The emergence of large-scale distributed applications based on many-to-many communication models, e.g., broadcast and decentralized group communication, has an important impact on ...
MM
2006
ACM
15 years 3 months ago
2006
ACM
Navigation through large multimedia collections that include videos and images still remains a hard problem. In this paper, we introduce a novel method to visualize and navigate t...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— We consider the problem of distributed estimation of the poses of N cameras in a camera sensor network using image measurements only. The relative rotation and translation (up ...
VTS
1999
IEEE
15 years 2 months ago
1999
IEEE
1 While multichip module technology has been developed for high performance IC applications, the technology is not widely adopted due to economical reasons. One of the reasons that...
BROADNETS
2004
IEEE
15 years 1 months ago
2004
IEEE
Multi-homed, mobile wireless computing and communication devices can spontaneously form communities to logically combine and share the bandwidth of each other's wide-area com...