535 search results - page 88 / 107 » Do we need dependent types |
EUROCRYPT
2012
Springer
11 years 10 months ago
2012
Springer
Abstract. Processing on encrypted data is a subject of rich investigation. Several new and exotic encryption schemes, supporting a diverse set of features, have been developed for ...
RECSYS
2009
ACM
14 years 8 days ago
2009
ACM
Critiquing-based recommenders do not require users to state all of their preferences upfront or rate a set of previously experienced products. Compared to other types of recommend...
STACS
2010
Springer
14 years 2 months ago
2010
Springer
We show that the Tile Assembly Model exhibits a strong notion of universality where the goal is to give a single tile assembly system that simulates the behavior of any other tile...
INFSOF
2010
13 years 6 months ago
2010
Context: Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages. Maintainers of large systems need to understand how packages relate to...
ESWS
2008
Springer
13 years 9 months ago
2008
Springer
Most of the challenges faced when building the Semantic Web require a substantial amount of human labor and intelligence. Despite significant advancement in ontology learning and h...