10848 search results - page 77 / 2170 » Programming in Biomolecular Computation |
COMPUTER
1999
14 years 9 months ago
1999
COMPUTER
2010
14 years 7 months ago
2010
ICALP
2000
Springer
15 years 1 months ago
2000
Springer
d Abstract) Christian Cachin1 , Jan Camenisch1 , Joe Kilian2 , and Joy M
CCS
2011
ACM
13 years 9 months ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
ICLP
2003
Springer
15 years 2 months ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...