3742 search results - page 326 / 749 » On the Use of Formal Techniques for Validation |
172
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper focuses on a solution to better adapt ASR systems, whose language models (LM) are usually trained on topic-independent corpora, to new topics, in particular in the case...
150
click to vote
MASCOTS
2004
15 years 8 months ago
2004
In the ever increasing world of distributed systems, different middleware implementations can be compared qualitatively or quantitatively. Existing evaluation techniques are often...
154
Voted
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
Retiming is a widely investigated technique for performance optimization. It performs powerful modifications on a circuit netlist. However, often it is not clear, whether the pred...
162
click to vote
IJCNN
2008
IEEE
16 years 1 months ago
2008
IEEE
—This article introduces a new feature vector extraction for EEG signals using multifractal analysis. The validity of the approach is asserted on real data sets from the BCI comp...
195
click to vote
ICA3PP
2007
Springer
16 years 26 days ago
2007
Springer
Classification is a kind of basic semantics that people often use to manage versatile contents in daily life. Resource Space Model (RSM) is a semantic model for sharing and managin...