Reflection of Formal Tactics in a Deductive Reflection Framework.

Published in: CADE (1996)

Keyphrases

main contribution
real time
multiscale
object oriented
formal model
framework enables
databases
image processing
search algorithm
artificial neural networks
particle filter
theoretical framework