38 search results - page 8 / 8 » Secure and Privacy Preserving Outsourcing of Tree Structured... |
EUPROJECTS
2006
Springer
13 years 8 months ago
2006
Springer
We present a highly accurate method for classifying web pages based on link percentage, which is the percentage of text characters that are parts of links normalized by the number...
OOPSLA
2005
Springer
13 years 10 months ago
2005
Springer
Representing programs as text strings makes programming harder then it has to be. The source text of a program is far removed from its behavior. Bridging this conceptual gulf is w...
CSL
2010
Springer
13 years 6 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...