198 search results - page 19 / 40 » Using Genetic Programming for Turing Machine Induction |
KR
1998
Springer
15 years 1 months ago
1998
Springer
In this paper, we propose a definition of goal achievability: given a basic action theory describing an initial state of the world and some primitive actions available to a robot,...
GECCO
2008
Springer
14 years 10 months ago
2008
Springer
A genetic algorithm (GA) is utilised to discover known and novel PROSITE-like sequence templates that can be used to classify the sub-cellular location of eukaryotic proteins. Whi...
CHARME
2003
Springer
15 years 2 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
IJNSEC
2007
14 years 9 months ago
2007
Intrusion detection is the process of monitoring the events occurring in a computer system or network and analyzing them for signs of intrusions, defined as attempts to compromis...
130
click to vote
MLG
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...