1421 search results - page 140 / 285 » The First and Second Max-SAT Evaluations |
MM
2006
ACM
14 years 4 months ago
2006
ACM
This paper investigates two methods of improving the user experience of camera-based interaction. First, problems that arise when avatars are designed to mimic a user’s physical...
MOBICOM
2006
ACM
14 years 4 months ago
2006
ACM
Vehicular ad hoc networks have recently been proposed as an effective tool for improving both road safety and the comfort experienced while driving. Vehicles may propagate inform...
SLIP
2006
ACM
14 years 4 months ago
2006
ACM
At every stage in physical design, engineers are faced with many different objectives and tools to develop, optimize, and evaluate their design. Each choice of a tool or an objec...
STORAGESS
2006
ACM
14 years 4 months ago
2006
ACM
This paper has three goals. (1) We try to debunk several held misconceptions about secure deletion: that encryption is an ideal solution for everybody, that existing data-overwrit...
ACSAC
2005
IEEE
14 years 3 months ago
2005
IEEE
An Air Force evaluation of Multics, and Ken Thompson’s famous Turing award lecture “Reflections on Trusting Trust,” showed that compilers can be subverted to insert maliciou...