1746 search results - page 269 / 350 » A Constructive Semantics for ALC |
TLDI
2009
ACM
14 years 8 months 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...
TCC
2010
Springer
14 years 8 months 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...
CVPR
2010
IEEE
14 years 7 months 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...
WWW
2010
ACM
14 years 6 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...
AOSD
2009
ACM
14 years 6 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...