4276 search results - page 404 / 856 » Techniques for Empirical Validation |
150
Voted
IWANN
1999
Springer
15 years 11 months ago
1999
Springer
Abstract: Support vector machines (SVMs) are primarily designed for 2-class classification problems. Although in several papers it is mentioned that the combination of K SVMs can b...
197
click to vote
LPAR
1999
Springer
15 years 11 months ago
1999
Springer
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the concurrent computation models for logic programs with delays...
189
click to vote
HT
1998
ACM
15 years 11 months ago
1998
ACM
In this paper, we introduce an integrated approach to the development of spatial hypertext. This approach brings together several theories and techniques concerning semantic struc...
183
click to vote
APSEC
1997
IEEE
15 years 11 months ago
1997
IEEE
An underlying assumption for N-version programming technique is that independently developed versions would fail in a statistically independent mannel: Howevel; empirical studies ...
169
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
Empirical evaluation of software systems in actual usage situations is critical in software engineering. Prototyping, beta testing, and usability testing are widely used to refine...