3256 search results - page 639 / 652 » Applications of Formal Methods to System Design and Verifica... |
IMC
2010
ACM
13 years 5 months ago
2010
ACM
This paper presents a new approach to determine the geographical footprint of individual Autonomous Systems that directly provide service to end-users, i.e.,eyeball ASes. The key ...
TWC
2010
13 years 2 months ago
2010
Wideband source localization using acoustic sensor networks has been drawing a lot of research interest recently in wireless communication applications, such as cellular handset lo...
CHI
2011
ACM
12 years 11 months ago
2011
ACM
Understanding how people interact with search engines is important in improving search quality. Web search engines typically analyze queries and clicked results, but these actions...
WSNA
2003
ACM
14 years 20 days ago
2003
ACM
Recent research in sensor networks has raised security issues for small embedded devices. Security concerns are motivated by the deployment of a large number of sensory devices in...
AES
2008
Springer
13 years 7 months ago
2008
Springer
Artificial neural networks (ANN's) are associated with difficulties like lack of success in a given problem and unpredictable level of accuracy that could be achieved. In eve...