1734 search results - page 196 / 347 » MSDR-D Network Localization Algorithm |
109
click to vote
ENTCS
2007
15 years 2 months ago
2007
We propose a compositional technique for efficient verification of networks of parallel processes. It is based on an automatic analysis of LTSs of individual processes (using a f...
156
Voted
ICC
2009
IEEE
15 years 9 months ago
2009
IEEE
This work extends the existing static framework for joint flow control, routing and medium access control (MAC) in random access multi-hop wireless networks to a dynamic framewor...
113
click to vote
ESA
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Social networks are navigable small worlds, in which two arbitrary people are likely connected by a short path of intermediate friends that can be found by a "decent...
127
Voted
JSAC
2006
15 years 2 months ago
2006
Wireless local area network (WLAN) systems are widely implemented today to provide hot-spot coverage. Operated typically in an infrastructure mode, each WLAN is managed by an acces...
113
click to vote
IJCNN
2007
IEEE
15 years 8 months ago
2007
IEEE
— The correct segmentation and measurement of mammography images is of fundamental importance for the development of automatic or computer-aided cancer detection systems. In this...