Exhaustive Execution of CHR Through Source-to-Source Transformation.

Ahmed Elsawy Amira Zaki Slim Abdennadher

Published in: LOPSTR (2014)

Keyphrases

database
data management
information retrieval
decision trees
image segmentation
mobile robot
response time
multiple sources