469 search results - page 26 / 94 » Genetic Programming with Fitness Based on Model Checking |
AMC
2005
13 years 7 months ago
2005
ARIMA is a popular method to analyze stationary univariate time series data. There are usually three main stages to build an ARIMA model, including model identification, model est...
SPIN
2007
Springer
14 years 1 months ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
CPHYSICS
2006
13 years 7 months ago
2006
This article introduces a tool for data fitting that is based on genetic programming and especially on the grammatical evolution technique. The user needs to input a series of poi...
ICIRA
2009
Springer
14 years 2 months ago
2009
Springer
This paper combines the novel concept of Fuzzy Gaussian Inference(FGI) with Genetic Programming (GP) in order to accurately classify real natural 3d human Motion Capture data. FGI ...
ICAPR
2005
Springer
14 years 1 months ago
2005
Springer
In this paper an intrusion detection algorithm based on GP ensembles is proposed. The algorithm runs on a distributed hybrid multiisland model-based environment to monitor security...