38890 search results - page 68 / 7778 » Will It Work |
JOS
2011
14 years 11 months ago
2011
In a comprehensive study of methods for dealing with the problem of the initial transient, Hoad et al. (2008) determined that the MSER (White, 1997) was an efficient and effective...
178
click to vote
CRYPTO
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We present EasyCrypt, an automated tool for elaborating security proofs of cryptographic systems from proof sketches—compact, formal representations of the essence of a...
137
click to vote
CSCW
2012
ACM
14 years 6 days ago
2012
ACM
Though toolkits exist to create complex crowdsourced workflows, there is limited support for management of those workflows. Managing crowd workers and tasks requires significant i...
151
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
In this paper we extend the study of flow-energy scheduling to a model that allows both sleep management and speed scaling. Our main result is a sleep management algorithm called I...
138
click to vote
ICFP
2004
ACM
16 years 4 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...