1833 search results - page 249 / 367 » Mechanized Verification with Sharing |
197
click to vote
SIGMETRICS
2010
ACM
15 years 6 months ago
2010
ACM
Sharing content over a mobile network through opportunistic contacts has recently received considerable attention. In proposed scenarios, users store content they download in a lo...
167
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Human languages evolve continuously, and a puzzling problem is how to reconcile the apparent robustness of most of the deep linguistic structures we use with the evidence that the...
204
click to vote
MOBIHOC
2012
ACM
13 years 9 months ago
2012
ACM
A key feature of wireless communications is the spatial reuse. However, the spatial aspect is not yet well understood for the purpose of designing efficient spectrum sharing mecha...
180
click to vote
CVPR
2006
IEEE
16 years 8 months ago
2006
IEEE
Recently, the generative modeling approach to video segmentation has been gaining popularity in the computer vision community. For example, the flexible sprites framework has been...
153
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Online collaboration and sharing is the central theme of many webbased services that create the so-called Web 2.0 phenomena. Using the Internet as a computing platform, many Web 2...