On the Generation of Positivstellensatz Witnesses in Degenerate Cases.

David Monniaux Pierre Corbineau

Published in: ITP (2011)

Keyphrases

artificial intelligence
three dimensional
generation process
generation algorithm
real time
search engine
decision making
case study
face recognition
training data
image analysis
management system
information extraction