15636 search results - page 3099 / 3128 » Modelling by supersaturated designs |
ICFP
2010
ACM
15 years 28 days ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...
118
click to vote
APLAS
2010
ACM
15 years 2 days ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
97
Voted
MM
2010
ACM
15 years 2 days ago
2010
ACM
We present a novel visual creativity tool that automatically recognizes facial expressions and tracks facial muscle movements in real time to produce sounds. The facial expression...
116
click to vote
MOBICOM
2010
ACM
15 years 2 days ago
2010
ACM
While WiFi-based indoor localization is attractive, the need for a significant degree of pre-deployment effort is a key challenge. In this paper, we ask the question: can we perfo...
114
click to vote
CCS
2010
ACM
15 years 2 days ago
2010
ACM
The ability to locate random relays is a key challenge for peer-to-peer (P2P) anonymous communication systems. Earlier attempts like Salsa and AP3 used distributed hash table look...