9842 search results - page 766 / 1969 » Compositional timing analysis |
181
click to vote
AIIA
2007
Springer
15 years 9 months ago
2007
Springer
We have recently presented CarpeDiem, an algorithm that can be used for speeding up the evaluation of Supervised Sequential Learning (SSL) classifiers. CarpeDiem provides impress...
171
click to vote
CMSB
2008
Springer
15 years 9 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
210
click to vote
LREC
2010
15 years 9 months ago
2010
This paper describes how heterogeneous data sources captured in the SignCom project may be used for the analysis and synthesis of French Sign Language (LSF) utterances. The captur...
195
click to vote
SEC
2008
15 years 9 months ago
2008
The constant increase of malware threats clearly shows that the present countermeasures are not sufficient especially because most actions are put in place only when infections hav...
229
click to vote
CLEF
2010
Springer
15 years 8 months ago
2010
Springer
Log data constitutes a relevant aspect in the evaluation process of multilingual search services. Activity logs allow to study the usage of search engines and to better adapt them ...