The Correspondence Between the Logical Algorithms Language and CHR.
Leslie De KoninckTom SchrijversBart DemoenPublished in: ICLP (2007)
Keyphrases
- orders of magnitude
- computational complexity
- computational efficiency
- data sets
- recently developed
- language learning
- optimization problems
- logical language
- stereo correspondence
- computationally expensive
- computationally efficient
- description logics
- query processing
- lower bound
- natural language
- data structure
- image segmentation
- image processing