9067 search results - page 674 / 1814 » Adaptive Model Checking |
202
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
299
click to vote
CVPR
2007
IEEE
16 years 9 months ago
2007
IEEE
Traditional methods for creating classifiers have two main disadvantages. Firstly, it is time consuming to acquire, or manually annotate, the training collection. Secondly, the da...
186
click to vote
ICCV
2005
IEEE
16 years 9 months ago
2005
IEEE
This paper presents a wavelet-based framework for enhancing the coherent structures attributable to the target organ in cardiac Magnetic Resonance (MR) images. Previous approaches...
217
click to vote
DCC
2007
IEEE
16 years 7 months ago
2007
IEEE
Considering that quincunx lattice is a more efficient spatial sampling scheme than square lattice, we investigate a new approach of image coding for quincunx sample arrangement. T...
179
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
The major limitation in bilingual latent semantic analysis (bLSA) is the requirement of parallel training corpora. Motivated by semi-supervised learning, we propose a clusterbased...