8828 search results - page 1189 / 1766 » Formal methods in practice |
179
click to vote
NIPS
1998
15 years 8 months ago
1998
Principal curves have been defined as "self consistent" smooth curves which pass through the "middle" of a d-dimensional probability distribution or data cloud...
186
click to vote
FORTE
1997
15 years 8 months ago
1997
This paper presents a new approach to the task of passive protocol tracing. The method called FollowSM for the first time meets all requirements of practical in-field use, inclu...
195
Voted
NIPS
2000
15 years 8 months ago
2000
A central issue in principal component analysis (PCA) is choosing the number of principal components to be retained. By interpreting PCA as density estimation, this paper shows ho...
167
click to vote
ICGA
1997
15 years 8 months ago
1997
This paper introduces the wave model, a novel approach on analyzing the behavior of GAs. Our aim is to give techniques that have practical relevance and provide tools for improvin...
174
click to vote
SEC
2000
15 years 8 months ago
2000
The theory of computer viruses has been studied by several authors, though there is no systematic theoretical study up to now. The long time open question in this area is as follo...