14054 search results - page 2796 / 2811 » P |
232
Voted
CADE
2011
Springer
14 years 2 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
135
Voted
CEAS
2011
Springer
14 years 2 months ago
2011
Springer
Traditional content-based e-mail spam filtering takes into account content of e-mail messages and apply machine learning techniques to infer patterns that discriminate spams from...
114
Voted
CRYPTO
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. A time-lock puzzle is a mechanism for sending messages “to the future”. The sender publishes a puzzle whose solution is the message to be sent, thus hiding it until e...
146
Voted
CRYPTO
2011
Springer
14 years 2 months ago
2011
Springer
We consider the problem of delegating computation, where the delegator doesn’t even know the input to the function being delegated, and runs in time significantly smaller than ...
129
Voted
DAC
2011
ACM
14 years 2 months ago
2011
ACM
Technology scaling allows the integration of billions of transistors on the same die but CAD tools struggle in keeping up with the increasing design complexity. Design productivit...