6704 search results - page 330 / 1341 » Testing Scenario-Based Models |
183
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper proposes a novel solution to spam detection inspired by a model of the adaptive immune system known as the crossregulation model. We report on the testing of a...
233
click to vote
ENTCS
2006
15 years 6 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
197
Voted
KES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In data mining, hybrid intelligent systems present a synergistic combination of multiple approaches to develop the next generation of intelligent systems. Our paper prese...
153
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Over the years, the notion of concept relatedness has attracted considerable attention. A variety of approaches, based on ontology structure, information content, association, or ...
153
click to vote
IJON
2000
15 years 6 months ago
2000
In this paper we propose an approach to variable selection that uses a neural-network model as the tool to determine which variables are to be discarded. The method performs a bac...