322 search results - page 15 / 65 » Satisfiability Coding Lemma |
LREC
2008
13 years 9 months ago
2008
This paper deals with a multilingual relational lexical database of proper name, Prolexbase, a free resource available on the CNRTL website. The Prolex model is based on two main ...
SAC
2010
ACM
13 years 7 months ago
2010
ACM
Software artifacts usually have static program constraints and these constraints should be satisfied in each reuse. In addition to this, the developers are also required to satisf...
CAINE
2003
13 years 9 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
Error Correcting Output Codes (ECOC) represent a successful framework to deal with multi-class categorization problems based on combining binary classifiers. In this paper, we pre...
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
To help develop ultra-low power wireless hearing aid products, we investigate the integration of subband audio coding with hearing aid applications. Both the audio coding and the ...