3690 search results - page 652 / 738 » Computation with classical sequents |
EUROSYS
2009
ACM
15 years 7 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
The classical optical flow assumes that a feature point maintains constant brightness across the frames. For fluidtype motions such as smoke or clouds, the constant brightness ass...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
Researchers have long been interested in the potential of ICTs to enable positive change in developing regions communities. In these environments, ICT interventions often fail bec...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
We describe a virtual “tether” for mobile devices that allows groups to have quick, simple and privacy-preserving meetups. Our design provides cues which allow dynamic coordin...
PERCOM
2009
ACM
15 years 4 months ago
2009
ACM
—As a result of the wide spread of new efficient mobile communication devices, users are more and more willing to find on these devices (PDAs, Smartphones, etc) applications si...