To support more effective video retrieval at semantic level, we introduce a novel framework to achieve semantic video classification. This novel framework includes: (a) A semantic-senstive video content representation framework via principal video shots to enhance the quality of features (i.e., the ability of the selected low-level multimodal perceptual features to discriminate among various se...

Resource limitations is a major problem in model checking. Space and time requirements of model-checking algorithms grow exponentially with respect to the number of variables and parallel automata of the analyzed model. We present a method that is the result of experiences from a case study. It has enabled us to analyze models with much bigger state-spaces than what was possible without our met...

Background. Insufficient data are available on the potential benefit of selective aspiration and clinical predictors for no-reflow in STEMI patients undergoing primary percutaneous coronary intervention (PPCI) adjunct with aspiration thrombectomy. Objective. The aim of our study was to investigate clinical predictors for insufficient reperfusion in patients with high thrombus burden treated wit...