2686 search results - page 227 / 538 » Testing metric properties |
172
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper, we propose a novel technique for video shot segmentation and classification based on the Singular Value Decomposition (SVD). For the input video sequence, we create...
139
click to vote
KDD
1998
ACM
15 years 10 months ago
1998
ACM
Like model selectionin statistics,the choiceof appropriate Data Mining Algorithms (DM-Algorithms) is a very importanttask in the processof KnowledgeDiscovery.Due to this fact it i...
171
click to vote
SEKE
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents a model of estimating the similarity of software artifacts so as to promote their analogical reuse. The model permits comparisons between artifacts developed a...
185
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
Increasing interest is being paid to quantitative evaluation based on measurements of dependability attributes and metrics of computer systems and infrastructures. Despite measura...
179
click to vote
CHARME
2001
Springer
15 years 10 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...