10289 search results - page 404 / 2058 » Standard bases in K |
153
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
Partitioned BDD-based algorithms have been proposed in the literature to solve the memory explosion problem in BDD-based verification. Such algorithms can be at times ineffective ...
174
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
This project describes the continuing development of a Privacy Label to present to consumers the ways organizations collect, use, and share personal information. Several studies h...
157
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
The design of existing mobile phone technology has emphasised the primacy of person-to-person communication for voice, SMS and image-based communication. It may be contrasted with...
262
click to vote
VLDB
2003
ACM
16 years 7 months ago
2003
ACM
Business-to-Business (B2B) technologies pre-date the Web. They have existed for at least as long as the Internet. B2B applications were among the first to take advantage of advance...
165
click to vote
ASIACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Adaptive oblivious transfer (adaptive OT) schemes have wide applications such as oblivious database searches, secure multiparty computation and etc. It is a two-party protocol whic...