A Framework for Defining Logical Frameworks.

Furio Honsell Marina Lenisa Luigi Liquori

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

main contribution
logical framework
genetic algorithm
image sequences
theoretical framework
search engine
computer vision
website
bayesian networks
expert systems
mobile robot
object detection
computational model
conceptual framework
computational framework