21319 search results - page 513 / 4264 » An Approach for Method Reengineering |
192
click to vote
PAKDD
2009
ACM
15 years 11 months ago
2009
ACM
Detecting outliers which are grossly different from or inconsistent with the remaining dataset is a major challenge in real-world KDD applications. Existing outlier detection met...
172
click to vote
RE
2001
Springer
15 years 11 months ago
2001
Springer
Little guidance and few methods are available to refine a set of software requirements into an architecture satisfying those requirements. Part of the challenge stems from the fac...
184
click to vote
COMPSAC
1997
IEEE
15 years 11 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
147
click to vote
TACS
1997
Springer
15 years 11 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
186
click to vote
VLDB
1995
ACM
15 years 10 months ago
1995
ACM
Classification, which involves finding rules that partition a given da.ta set into disjoint groups, is one class of data mining problems. Approaches proposed so far for mining cla...