4134 search results - page 669 / 827 » Collaborative Practice Research |
173
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
105
Voted
DIS
1998
Springer
15 years 7 months ago
1998
Springer
SDS2 is a system to discover and identify the quantitative model consisting of simultaneous equations re
ecting the rst principles underlying the objective process through experi...
119
Voted
ECOOP
1998
Springer
15 years 7 months ago
1998
Springer
One of the price tags attached to the blessings that OO brings about is a drop in efficiency due to dynamic method dispatch. Much research effort is being spent on the problem of e...
141
Voted
ICSE
1998
IEEE-ACM
15 years 7 months ago
1998
IEEE-ACM
Software architecture descriptions are high-level models of software systems. Some researchers have proposed specialpurpose architectural notations that have a great deal of expre...
114
Voted
KDD
1998
ACM
15 years 7 months ago
1998
ACM
Several pattern discovery methods proposed in the data mining literature have the drawbacks that they discover too many obvious or irrelevant patterns and that they do not leverag...