1746 search results - page 269 / 350 » A Constructive Semantics for ALC |
132
click to vote
TLDI
2009
ACM
16 years 20 days ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
133
click to vote
TCC
2010
Springer
16 years 20 days ago
2010
Springer
We present a variant of Regev’s cryptosystem first presented in [Reg05], but with a new choice of parameters. By a recent classical reduction by Peikert we prove the scheme sema...
113
click to vote
CVPR
2010
IEEE
16 years 5 days ago
2010
IEEE
A semantically meaningful image hierarchy can ease the human effort in organizing thousands and millions of pictures (e.g., personal albums), and help to improve performance of en...
124
click to vote
WWW
2010
ACM
15 years 10 months ago
2010
ACM
We propose Facetedpedia, a faceted retrieval system for information discovery and exploration in Wikipedia. Given the set of Wikipedia articles resulting from a keyword query, Fac...
131
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
Dynamic deployment of aspects brings greater flexibility and reuse potential, but requires proper means for scoping aspects. Scoping issues are particularly crucial in a distribu...