State Isomorphism in Model Programs with Abstract Data Structures.
Margus VeanesJuhan P. ErnitsColin CampbellPublished in: FORTE (2007)
Keyphrases
- high level
- data structure
- experimental data
- low level
- computational model
- information systems
- similarity measure
- theoretical framework
- probability distribution
- prediction model
- formal model
- neural network model
- mathematical model
- theoretical analysis
- logic programs
- neural network
- evolutionary algorithm
- database systems
- case study
- learning algorithm