1795 search results - page 231 / 359 » On the Complexity of Circuit Satisfiability |
107
Voted
ICDM
2006
IEEE
15 years 6 months ago
2006
IEEE
The secure multi-party computation (SMC) model provides means for balancing the use and confidentiality of distributed data. This is especially important in the field of privacy...
83
Voted
VTC
2006
IEEE
15 years 6 months ago
2006
IEEE
— We present a low complexity adaptive transmission approach for spatially correlated MIMO channels. The proposed scheme adaptively switches between orthogonal space-time block c...
114
Voted
COCOON
2005
Springer
15 years 6 months ago
2005
Springer
This paper gives a quantum algorithm to search in an set S for a k-tuple satisfying some predefined relation, with the promise that some components of a desired k-tuple are in som...
106
click to vote
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
In ordered logic programs, i.e. partially ordered sets of clauses where smaller rules carry more preference, inconsistencies, which appear as conflicts between applicable rules, a...
126
Voted
HCW
2000
IEEE
15 years 5 months ago
2000
IEEE
In this work we present the results of a project aimed at assembling an hybrid massively parallel machine, the PQE1 prototype, devoted to the simulation of complex physical models...