27 search results - page 1 / 6 » cl 2008 |
CL
2008
Springer
13 years 7 months ago
2008
Springer
CL
2008
Springer
13 years 7 months ago
2008
Springer
ICC
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—We propose a closed–loop scheme that combines opportunistic beamforming (OBF) and closed–loop (CL) transmit–diversity (TD) techniques. This quantized OBF scheme is...
TREC
2001
13 years 8 months ago
2001
CL Research's question-answering system (DIMAP-QA) for TREC-10 only slightly extends its semantic relation triple (logical form) technology in which documents are fully parse...
JAR
2008
13 years 7 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...