Cylindrical algebraic decompositions for boolean combinations.

Russell J. Bradford James H. Davenport Matthew England Scott McCallum David J. Wilson

Published in: ISSAC (2013)

Keyphrases

higher order
decomposition methods
genetic algorithm
web pages
image sequences
expert systems
probabilistic model
panoramic images