Sciweavers

Share
20 search results - page 1 / 4
» cl 2008
Sort
View
CL
2008
Springer
8 years 2 months ago
Stateful traits and their formalization
Alexandre Bergel, Stéphane Ducasse, Oscar N...
CL
2008
Springer
8 years 3 months ago
Application-specific models and pointcuts using a logic metalanguage
Johan Brichau, Andy Kellens, Kris Gybels, Kim Mens...
ICC
2008
IEEE
114views Communications» more  ICC 2008»
8 years 9 months ago
On the Analysis and Design of Practical Quantization for Opportunistic Beamforming
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...
Alexis A. Dowhuszko, Graciela Corral-Briones, Jyri...
TREC
2001
8 years 4 months ago
CL Research Experiments in TREC-10 Question Answering
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...
Kenneth C. Litkowski
JAR
2008
95views more  JAR 2008»
8 years 3 months ago
On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic
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...
Marc Bezem, Dimitri Hendriks
books