The impact of higher-order state and control effects on local relational reasoning.

Derek Dreyer Georg Neis Lars Birkedal

Published in: ICFP (2010)

Keyphrases

higher order
control system
knowledge base
data model
knowledge representation
state space
image segmentation
database
relational databases
hidden markov models
mobile robot
natural images
high order
robotic systems