Metavariables and Conditional Refinements in the Refinement Calculus.
Raymond G. NicksonLindsay J. GrovesPublished in: Refine (1994)
Keyphrases
- random field model
- refinement process
- data sets
- automated deduction
- markov random field
- real time
- algebraic structure
- databases
- conditional logic
- query refinement
- logic programs
- fuzzy sets
- neural network
- relational databases
- natural language
- search algorithm
- data structure
- similarity measure
- image sequences
- search engine
- artificial intelligence