194 search results - page 17 / 39 » Formal concept analysis applied to fault localization |
173
click to vote
GRC
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a problem of factor analysis of three-way binary data, i.e. data described by a 3-dimensional binary matrix I, describing a relationship between objects, attributes, an...
151
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
136
click to vote
SMI
2007
IEEE
16 years 5 hour ago
2007
IEEE
In this paper, we introduce localized homology, a theory for finding local geometric descriptions for topological attributes. Given a space and a cover of subspaces, we construct...
158
click to vote
JLP
2010
15 years 16 days ago
2010
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
164
click to vote
ICSM
2005
IEEE
15 years 11 months ago
2005
IEEE
Automated cost-effective test strategies are needed to provide reliable, secure, and usable web applications. As a software maintainer updates an application, test cases must accu...