4280 search results - page 712 / 856 » Mechanisms for information elicitation |
196
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
Because of the large amount of trajectory data produced by mobile devices, there is an increasing need for mechanisms to extract knowledge from this data. Most existing works have...
149
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
179
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— The need for efficient monitoring of spatiotemporal dynamics in large environmental surveillance applications motivates the use of robotic sensors to achieve sufficie...
161
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—The rapid growth of global routing tables has raised concerns among many Internet Service Providers. The most immediate concern regarding routing scalability is the size of the ...
170
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—We propose a virtualization framework to separate the network operator (NO) who focuses on wireless resource management and service providers (SP) who target distinct objectives...