4930 search results - page 671 / 986 » Learning minimal abstractions |
156
click to vote
AIIA
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Efficiency of the first-order logic proof procedure is a major issue when deduction systems are to be used in real environments, both on their own and as a component of ...
204
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Information systems engineering for design or knowledge communities is characterized by the fact that these communities constantly monitor themselves and initiate repair ...
183
click to vote
ESSMAC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Gaussian process models provide a probabilistic non-parametric modelling approach for black-box identification of nonlinear dynamic systems. The Gaussian processes can h...
155
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. When Genetic Algorithms (GAs) are employed in multimodal function optimization, engineering and machine learning, identifying multiple peaks and maintaining subpopulation...
165
click to vote
GECCO
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Page-based Linear Genetic Programming (GP) is proposed and implemented with two-layer Subset Selection to address a two-class intrusion detection classification problem a...