20831 search results - page 77 / 4167 » Quantum Computation and Information |
DAC
2000
ACM
14 years 9 months ago
2000
ACM
WOLLIC
2009
Springer
14 years 3 months ago
2009
Springer
MSCS
2006
13 years 8 months ago
2006
We define a sequent calculus corresponding to the logic of strongly compact closed categories with biproducts. Based on this calculus, we define a proof-net syntax with ly normali...
TCC
2007
Springer
14 years 2 months ago
2007
Springer
Assume that two distant parties, Alice and Bob, as well as an adversary, Eve, have access to (quantum) systems prepared jointly according to a tripartite state ρABE. In addition, ...
CLEF
2003
Springer
14 years 2 months ago
2003
Springer
We describe a method for modifying a monolingual English question answering system to allow it to accept French questions. Our method relies on a statistical translation engine to ...