Sciweavers

1314 search results - page 181 / 263
» Validation of Object Oriented Models using Animation
Sort
View
FASE
2007
Springer
14 years 3 months ago
EQ-Mine: Predicting Short-Term Defects for Software Evolution
We use 63 features extracted from sources such as versioning and issue tracking systems to predict defects in short time frames of two months. Our multivariate approach covers aspe...
Jacek Ratzinger, Martin Pinzger, Harald Gall
PR
2006
127views more  PR 2006»
13 years 8 months ago
Unsupervised possibilistic clustering
In fuzzy clustering, the fuzzy c-means (FCM) clustering algorithm is the best known and used method. Since the FCM memberships do not always explain the degrees of belonging for t...
Miin-Shen Yang, Kuo-Lung Wu
SPIN
2004
Springer
14 years 2 months ago
Model-Driven Software Verification
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
Gerard J. Holzmann, Rajeev Joshi
ICIP
2005
IEEE
14 years 10 months ago
Spatio-temporal attention model for video content analysis
This paper presents a new model of human attention that allows salient areas to be extracted from video frames. As automatic understanding of video semantic content is still far fr...
Mickael Guironnet, Nathalie Guyader, Denis Pelleri...
PODS
1998
ACM
152views Database» more  PODS 1998»
14 years 1 months ago
A Cost Model for Similarity Queries in Metric Spaces
We consider the problem of estimating CPU (distance computations) and I/O costs for processing range and k-nearest neighbors queries over metric spaces. Unlike the specific case ...
Paolo Ciaccia, Marco Patella, Pavel Zezula