8828 search results - page 1615 / 1766 » Formal methods in practice |
150
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract— Outdoor camera networks are becoming ubiquitous in critical urban areas of large cities around the world. Although current applications of camera networks are mostly li...
142
Voted
ACNS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. “Secure Device Pairing” is the process of bootstrapping secure communication between two devices over a short- or medium-range wireless channel (such as Bluetooth, Wi...
146
click to vote
IMC
2009
ACM
15 years 10 months ago
2009
ACM
Proximity measures quantify the closeness or similarity between nodes in a social network and form the basis of a range of applications in social sciences, business, information t...
151
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
When search is against structured documents, it is beneficial to extract information from user queries in a format that is consistent with the backend data structure. As one step...
153
click to vote
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
—Reliable wireless communications often requires accurate knowledge of the underlying multipath channel. This typically involves probing of the channel with a known training wave...