Sciweavers

3174 search results - page 194 / 635
» An Exploration of the Permanent-Determinant Method
Sort
View
TSE
2010
123views more  TSE 2010»
15 years 1 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue
ICIP
2008
IEEE
16 years 8 months ago
Saliency based objective quality assessment of decoded video affected by packet losses
In this work, we propose a novel saliency-based objective quality assessment metric, for assessing the perceptual quality of decoded video sequences affected by packet loses. The ...
Xin Feng, Tao Liu, Dan Yang, Yao Wang
ICIP
2002
IEEE
16 years 8 months ago
An ICA algorithm for analyzing multiple data sets
In this paper we derive an independent-component analysis (ICA) method for analyzing two or more data sets simultaneously. Our model permits there to be components individual to t...
Ana S. Lukic, Lars Kai Hansen, Miles N. Wernick, S...
ICPR
2008
IEEE
16 years 7 months ago
Head pose estimation: Classification or regression?
Head pose estimation has many useful applications in practice. How to estimate the head pose automatically and robustly is still a challenging problem. In pose estimation, differe...
Charles R. Dyer, Guodong Guo, Thomas S. Huang, Yun...
ICPR
2006
IEEE
16 years 7 months ago
Rule Extraction from Support Vector Machines: Measuring the Explanation Capability Using the Area under the ROC Curve
Recently, the area of rule extraction from support vector machines (SVMs) has been explored. One important indication of the success of a rule extraction method is the performance...
Andrew P. Bradley, Nahla H. Barakat