1421 search results - page 236 / 285 » The First and Second Max-SAT Evaluations |
CHI
2010
ACM
14 years 3 months ago
2010
ACM
MouseLight is a spatially-aware standalone mobile projector with the form factor of a mouse that can be used in combination with digital pens on paper. By interacting with the pro...
MIR
2010
ACM
14 years 3 months ago
2010
ACM
This paper discusses two sets of automatic musical genre classification experiments. Promising research directions are then proposed based on the results of these experiments. The...
PERCOM
2009
ACM
14 years 3 months ago
2009
ACM
To benefit from a location-based service, a person must reveal her location to the service. However, knowing the person’s location might allow the service to re-identify the pe...
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
VEE
2009
ACM
14 years 3 months ago
2009
ACM
: © Achieving 10 Gb/s using Safe and Transparent Network Interface Virtualization Kaushik Kumar Ram, Jose Renato Santos, Yoshio Turner, Alan L. Cox, Scott Rixner HP Laboratories H...