7434 search results - page 164 / 1487 » Still |
122
Voted
WWW
2007
ACM
16 years 5 months ago
2007
ACM
It is now a common practice for e-commerce Web sites to enable their customers to write reviews of products that they have purchased. Such reviews provide valuable sources of info...
119
Voted
WWW
2004
ACM
16 years 5 months ago
2004
ACM
While being quite successful in providing keyword based access to web pages, commercial search portals, such as Google, Yahoo, AltaVista, and AOL, still lack the ability to answer...
264
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
We present HML, a type inference system that supports full firstclass polymorphism where few annotations are needed: only function parameters with a polymorphic type need to be an...
134
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. Interest in role-based access control has generated considerable research activity in recent years. A number of interesting problems related to the well known set cover p...
142
Voted
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...