4609 search results - page 95 / 922 » Automatic Generation of Sigma-Protocols |
150
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Given a document repository, search engine is very helpful to retrieve information. Currently, vertical search is a hot topic, and Google Scholar [4] is an example for academic se...
117
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
Software systems are often complex in the number of features that are available through the user interface and consequently, the number of interactions that can occur. Such system...
124
Voted
ICFP
2001
ACM
16 years 5 months ago
2001
ACM
ICCAD
2004
IEEE
16 years 2 months ago
2004
IEEE