1256 search results - page 251 / 252 » Learning to Reason |
PLDI
2011
ACM
12 years 9 months ago
2011
ACM
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in āregularā...
CRYPTO
2011
Springer
12 years 6 months ago
2011
Springer
Secure computation enables mutually suspicious parties to compute a joint function of their private inputs while providing strong security guarantees. Amongst other things, even i...
INFOCOM
2012
IEEE
11 years 8 months ago
2012
IEEE
āCollaborative spectrum sensing has been regarded as a promising approach to enable secondary users to detect primary users by exploiting spatial diversity. In this paper, we con...
CVPR
2012
IEEE
11 years 8 months ago
2012
IEEE
Depth ordering is instrumental for understanding the 3D geometry of an image. We as humans are surprisingly good ordering even with abstract 2D line drawings. In this paper we pro...
ICSE
2012
IEEE-ACM
11 years 8 months ago
2012
IEEE-ACM
āThe wide variety of software development tools available today have a great potential to improve the way developers make software, but that potential goes unfulļ¬lled when deve...