443 search results - page 30 / 89 » A modeling-based classification algorithm validated with sim... |
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
135
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
In many real-world applications, data cannot be accurately represented by vectors. In those situations, one possible solution is to rely on dissimilarity measures that enable a se...
126
click to vote
NPL
2006
15 years 2 months ago
2006
This paper presents a novel dimension reduction algorithm for kernel based classification. In the feature space, the proposed algorithm maximizes the ratio of the squared between-c...
108
click to vote
MSWIM
2004
ACM
15 years 7 months ago
2004
ACM
Mobile ad-hoc networks (MANETs) present quite large packet loss bursts due to mobility. In this work we propose two models based on hidden Markov models for estimating packet arri...
159
click to vote
WSC
2001
15 years 3 months ago
2001
Taking into account input-model, input-parameter, and stochastic uncertainties inherent in many simulations, our Bayesian approach to input modeling yields valid point and confide...