21319 search results - page 483 / 4264 » An Approach for Method Reengineering |
182
click to vote
FTRTFT
1994
Springer
15 years 11 months ago
1994
Springer
We specify the black box behavior of dataflow components by characterizing the relation between their input and their output histories. We distinguish between three main classes of...
181
click to vote
EMO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we propose a new conceptual method for the design, investigation, and evaluation of multi-objective variation operators for evolutionary multi-objective algorithms. ...
185
click to vote
KDD
1995
ACM
15 years 10 months ago
1995
ACM
The Bayesianclassifier is a simple approachto classification that producesresults that are easy for people to interpret. In many cases, the Bayesianclassifieris at leastasaccurate...
181
click to vote
KDD
1995
ACM
15 years 10 months ago
1995
ACM
The main objective of machine discovery is the determination of relations between data and of data models. In the paper we describe a method for discovery of data models represent...
213
click to vote
TYPES
1995
Springer
15 years 10 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...