535 search results - page 88 / 107 » Do we need dependent types |
156
click to vote
EUROCRYPT
2012
Springer
13 years 6 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 ...
134
Voted
RECSYS
2009
ACM
15 years 8 months 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...
129
click to vote
STACS
2010
Springer
15 years 10 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...
141
Voted
INFSOF
2010
15 years 2 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...
142
Voted
ESWS
2008
Springer
15 years 5 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...