A problem solver for quadratic functions.

Tsuyoshi Murata Ran Hosoya Shingo Kawabe Masamichi Shimura

Published in: Systems and Computers in Japan (2001)

Keyphrases

learning algorithm
multimedia
tree search
databases
neural network
real world
video sequences
lower bound
sat solving